function format_time( s )
{
    var hours = Math.floor(s/3600);
    var minutes = Math.floor((s/60)%60);
    var seconds = Math.floor(s%60);
    if( hours < 10 ) hours = "0"+hours;
    if( minutes < 10 ) minutes = "0"+minutes;
    if( seconds < 10 ) seconds = "0"+seconds;
    return hours+":"+minutes+":"+seconds;
}
/* fomat time in second as hh:mm:ss */
fomat time in second as hh:mm:ss
fomat time in second as hh : mm : ss
function format_time( s )
{
    var hours = Math.floor(s/3600);
    var minutes = Math.floor((s/60)%60);
    var seconds = Math.floor(s%60);
    if( hours < 10 ) hours = "0"+hours;
    if( minutes < 10 ) minutes = "0"+minutes;
    if( seconds < 10 ) seconds = "0"+seconds;
    return hours+":"+minutes+":"+seconds;
}
function format_time ( s ) { var hours = Math . floor ( s / 3600 ) ; var minutes = Math . floor ( ( s / 60 ) % 60 ) ; var seconds = Math . floor ( s % 60 ) ; if ( hours < 10 ) hours = "0" + hours ; if ( minutes < 10 ) minutes = "0" + minutes ; if ( seconds < 10 ) seconds = "0" + seconds ; return hours + ":" + minutes + ":" + seconds ; }
fomat time in second as hh:mm:ss
fomat time in second as hh : mm : ss