//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);
};