$sec  = sprintf "%02d", $time;
$msec = sprintf "%03d", $msec;