function clock() {
		document.write('<span id="clock"></span>');
				var server = new Date(2010, 3, 12, 04, 47, 48).getTime();
		var client = new Date().getTime();
		tick(client-server);
	}
	function tick(diff) {
		var d = new Date(new Date().getTime()-diff);
		var i = d.getMinutes(); if(i < 10) i='0'+i;
		var s = d.getSeconds(); if(s < 10) s='0'+s;
		var month_names = ',Jan,Feb,Mar,Apr,May,June,July,Aug,Sept,Oct,Nov,Dec'.split(/,/g);
		var clock = document.getElementById("clock");
		if(clock) {
			clock.innerHTML=''+
				month_names[d.getMonth()]+' '+d.getDate()+', '+d.getFullYear()+' '+
				d.getHours()+':'+i+':'+s;
				setTimeout('tick(' + diff + ');', 1000);
		}
	}