time string conversion

[M.N.A.Smadi]

hi;
i have a string that look like 16:23:20.019519  (i.e. system time) 
without days and months.  I want to convert it to just one long floating 
point number with as many decimal places as possible.  is there a 
funciton to do that?

thanks
ms