var arrDay = new Array('SUN','MON','TUE','WED','THU','FRI','SAT');
var arrMonth = new Array('JAN','FEB','MAR','APR','MAY','JUN','JUL','AUG','SEP','OCT','NOV','DEC');

function startClock()
{
	var today=new Date();
	var dow=today.getDay();
	var dd=today.getDate();
	var mm=today.getMonth();
	var yy=today.getFullYear();
	var h=today.getHours();
	var m=today.getMinutes();
	var s=today.getSeconds();

	// add a zero in front of hour & minutes < 10
	h=addLeadZero(h);
	m=addLeadZero(m);
	s=addLeadZero(s);

	document.getElementById('currtime').innerHTML=arrDay[dow]+" "+dd+" "+arrMonth[mm]+" "+yy+" "+h+":"+m+":"+s;
	t=setTimeout('startClock()',500);
}

function addLeadZero(i)
{
	return i<10 ? "0" + i : i;
}