
  TYPE
    ost$millisecond_time = string (12); { H24:MM:SS.S1000 }

