function formatTime()
{
	now = new Date();
	hour = now.getHours();
	minn = now.getMinutes();
	sec = now.getSeconds();
	daynum = now.getDay();
	daymonth = now.getDate();
	monthnum = now.getMonth();
	year = now.getFullYear();
	if (minn <= 9) {minn = "0" + minn;}
    if (sec <= 9) {sec = "0" + sec;}
	if (hour < 10) {hour = "0" + hour;}

	var days=['Sun','Mon','Tue','Wed','Thur','Fri','Sat'];
	var months=['Jan','Feb','Mar','Apr','May','June','July','Aug', 'Sep','Oct','Nov','Dec'];
	day = days[daynum];
	month = months[monthnum];
	
	if(document.getElementById("topclock"))
	document.getElementById("topclock").innerHTML = day + ' ' + month + ' ' + daymonth + ' ' + year + ' - ' + hour + ':' + minn + ' ';//':' + sec + ' ';
	
	setTimeout("formatTime()", 60000);
}