Format a time to H:MM:SS.mmm

gistfile1.txt

function formatTime(time) {
    var hours = Math.floor(time / 3600000);
    var min = Math.floor(((time % 3600000) / 60000));
    var sec = Math.floor(((time % 60000) / 1000));
    var msec = time % 1000;
    if (hours < 10)
        hours = '0' + hours;
    if (min < 10)
        min = '0' + min;
    if (sec < 10)
        sec = '0' + sec;
    if (msec < 10)
        msec = '00' + msec;
    else if (msec < 100)
        msec = '0' + msec;
    return hours + ':' + min + ':' + sec + '.' + msec;
}