var eweekdaystxt=["Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday"]
var emonthtxt=["Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec"]
serverMSeconds = Date.parse(servertimestring);
nowMSeconds = Date.parse(new Date());
delta = serverMSeconds - nowMSeconds;
function clocks()
{
	var nowDate = new Date();
	var time = Date.parse(Date()) + delta;
	nowDate.setTime(time);
	var day = nowDate.getDate()
	var month =nowDate.getMonth()
	var year = nowDate.getYear(); year = (year < 1000) ? 1900+year : year
	var hours = nowDate.getHours(); hours = (hours < 10) ? "0"+hours : hours
	var minutes = nowDate.getMinutes(); minutes = (minutes < 10) ? "0"+minutes : minutes
	var seconds = nowDate.getSeconds(); seconds = (seconds < 10) ? "0"+seconds : seconds
	var dayofweek = eweekdaystxt[nowDate.getDay()]
	var monthname = emonthtxt[month]
	document.getElementById("clocks").innerHTML = dayofweek+" "+day+" "+monthname+" "+year+" "+hours + ":" + minutes + ":" + seconds;
}
function enterClocks()
{
	if (! /MSIE 5/.test(navigator.userAgent)){
		clocks();
		setInterval(function(){clocks()}, 500);
	}
}