var _clock = null;
function initClock() {
	_clock = document.getElementById("clock");
	if (_clock)
	{
		updateClock();
	}
}

function updateClock() {
	var _date = new Date();
	_clock.innerHTML = formatDate(_date, "EE d MMM yyyy");
	
	/* update interval = 20 seconds */
	/* setTimeout('updateClock()', 20000); */
}

if (window.addEventListener) {
	window.addEventListener("load", initClock, false);
}
else if (window.attachEvent) {
	window.attachEvent("onload", initClock);
}