var time;
function startClock(second) {
	time=second;
	changeTime();
}

function changeTime(){
   	time=time + 1000;
   	var date= new Date();
   	date.setTime(time);
   	
   	var curr_hour = date.getHours();
    var curr_min = date.getMinutes();
    var curr_second = date.getSeconds();

   	document.getElementById("portlocaltime").innerHTML=addDigi(curr_hour) + ":" + addDigi(curr_min) +":" +addDigi(curr_second);
   	setTimeout(changeTime,1000);
}

function addDigi(curr_min){
	curr_min = curr_min + "";
    if (curr_min.length == 1)
    {
    	curr_min = "0" + curr_min;
	}
    return curr_min;
}