HTML5 VideoAPI，打造自己的Web视频播放器

　　前面代码中其实已经设置了相关代码，此时我们只需要把获取到的毫秒数转换成我们需要的时间格式即可，提供getFormatTime()函数：

function getFormatTime(time) {
        var time = time  0;
 
        var h = parseInt(time/3600),
            m = parseInt(time%3600/60),
            s = parseInt(time%60);
        h = h < 10 ? "0"+h : h;
        m = m < 10 ? "0"+m : m;
        s = s < 10 ? "0"+s : s;
 
        return h+":"+m+":"+s;
    }