function server_time_start()

	{server_time_loop();}



function server_time_loop()

	{

	var tmp = new Date(server_unixtime * 1000);

	var h = tmp.getHours();

	var m = tmp.getMinutes();

	var s = tmp.getSeconds();

	

	if (String(h).length <= 1) {h = "0" + h;}

	if (String(m).length <= 1) {m = "0" + m;}

	if (String(s).length <= 1) {s = "0" + s;}

	

	document.getElementById("local_time").innerHTML = h + ":" + m + ":" + s;

	

	server_unixtime++;

	setTimeout('server_time_loop();',1000);

	}