function timeFormat(time){
switch(time.length){
case 0:
time = "000000";
break;
case 1:
time = "00000" + time;
break;
case 2:
time = "0000" + time;
break;
case 3:
time = "000" + time;
break;
case 4:
time = "00" + time;
break;
case 5:
time = "0" + time;
break;
}
var arr = time.split("");
arr.splice(2, 0, ":");
arr.splice(5, 0, ":");
var time1 = arr.join("");
return time1;
}