 	var server_date = new Date();
	var start_date = new Date();
	function JSClock() {   
		now = new Date();
		diff = now.valueOf() - start_date.valueOf();
		var time = new Date(server_date.valueOf() + diff);
		var hour = time.getHours();
		var minute = time.getMinutes();
		var second = time.getSeconds();  
		var temp = "";
		temp += ((hour < 10) ? "0" : "") + hour;
		temp += ((minute < 10) ? ":0" : ":") + minute;
		temp += ((second < 10) ? ":0" : ":") + second;  
		document.vorm.t.value = temp;
	}

	function start() {
		timerID = setInterval("JSClock()", 1000)
	}
	start();