[ActionScript 3.0] AS3 时间格式化方法

/**
 * 格式化时间，格式 00:00:00
 * @param   total 总时间（毫秒）
 */
function getFormatTime(total:uint):String
{
    if (total/1000 < 60 && total/1000 >0) {
        var s0:uint = total / 1000 >> 0;
        return s0 < 10 ? "00:0" + s0.toString() : "00:" + s0.toString();
    } else {
        var h:uint = (total / 3600000) >> 0;
        var m:uint = ((total -h*3600000)/60000)>>0;
        var s:uint = ((total -h*3600000 - m*60000)/1000)>>0;
        var hh:String = h < 10 ? "0" + h:h.toString();
        var mm:String = m < 10 ? "0" + m:m.toString();
        var ss:String = s < 10 ? "0" + s:s.toString();
        var arr:Vector.<String> = new Vector.<String>();
        (h > 0) ? arr.push(hh):null;
        (h > 0|| m > 0 ) ? arr.push(mm) : null;
        (h > 0|| m > 0 || s > 0 )  ? arr.push(ss) : null;
        return arr.join(":");
    }
}