| Convert 3 letter survey, ra, dec in degrees to extended IAU name. | 
|  Will create a 22 + char IAU name as @survey Jhhmmss.ss+ddmmss.s Example usages: SELECT dbo.fIAUName('VHS', 182.25, -12.5) => VHS J120900.00-123000.0 SELECT top 10 dbo.fIAUName('VHS',ra,dec),sourceID FROM vhsSource  | 
| Name | Type | Length | inout | pnum | 
| @survey | varchar | 6 | input | 1 | 
| @ra | float | 8 | input | 2 | 
| @dec | float | 8 | input | 3 | 
| @radp | int | 4 | input | 4 | 
| @decdp | int | 4 | input | 5 | varchar | 40 | output | 1 |