var currenttime = 'September 05, 2010 15:05:56' //PHP method of getting server date

	///////////Stop editting here/////////////////////////////////

	var montharray=new Array("January","February","March","April","May","June","July","August","September","October","November","December")
	var serverdate=new Date(currenttime)

	function padlength(what){
	var output=(what.toString().length==1)? "0"+what : what
	return output
	}

	function displaytime(){
	serverdate.setSeconds(serverdate.getSeconds()+1)
	var real_month = serverdate.getMonth() + 1;
	var datestring=serverdate.getFullYear() + "-" + padlength(real_month) + "-" + padlength(serverdate.getDate())
	var timestring=padlength(serverdate.getHours())+":"+padlength(serverdate.getMinutes())+":"+padlength(serverdate.getSeconds())
	document.getElementById("time").innerHTML=datestring+" "+timestring
	}

window.onload=function(){
check_private_message();
setInterval("check_private_message()", 240000);
setInterval("displaytime()", 1000);
}