function millisec, bintime
;+
; converts binary time in 10 microseconds starting
; on jan., 1, 1990  into milli seconds since 0 ut.
;
; usage:   msec = civ_time(bintime) 
;
; where bintime in 10 usec (double) since jan. 1, 1990 00 ut
; msec time in milliseconds since begiinig of day (0 ut).
;-

hour = long( ( bintime mod 8.64d09) / 3.6d08 + 1.d-14)
mins = long( ( bintime mod 3.60d08) / 6.0d06 + 1.d-14)
sec  = long( ( bintime mod 6.00d06) / 1.0d05 + 1.d-14)
msec = long( ( bintime mod 1.00d05) / 1.0d02 + 1.d-14)
usec = long( ( bintime mod 1.00d02) * 10 )

msec = hour*3600.d03+mins*60.d03+sec*1.d03+msec+usec/1000.

return, msec

end