updateClock();


function updateClock()
{
	clock = document.getElementById("clock");
	if (clock)
	{
		d = new Date();

		var weekday=new Array("Sun","Mon","Tue","Wed","Thu","Fri","Sat")
		var monthname=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
		s = weekday[d.getDay()] + " " + d.getDate() + " " + monthname[d.getMonth()] + " " + d.getFullYear(); 
		s += " - " + d.getHours() + ":";
		if (d.getMinutes() < 10) s += "0";
		s += d.getMinutes();
		clock.innerHTML = s;

		window.setTimeout(updateClock, 30000);
	}
	else
	{
		window.setTimeout(updateClock,100);
	}
}