//var currenttime = 'September 11, 2009 03:15:54';
//var currenttime = '<? print date("F d, Y H:i:s", time())?>' //PHP method of getting server date

var serverdate=new Date(currenttime)
//var serverdate=new Date()
function padlength(what)
{
	var output=(what.toString().length==1)? "0"+what : what
	return output
}

function displaytime()
{
	serverdate.setSeconds(serverdate.getSeconds()+1)
	var timestring=padlength(serverdate.getHours())+":"+padlength(serverdate.getMinutes())
	document.getElementById("timeTop").innerHTML=timestring+" GMT"
}

window.onload=function()
{
	setInterval("displaytime()", 1000)
}
