// clock script



function updateClock() {

	if(!document.getElementById) return;

	var datetime = getDateTime();

	document.getElementById('ht-time').innerHTML = '';

	document.getElementById('ht-time').innerHTML = datetime[0];

	document.getElementById('ht-date').innerHTML = '';

	document.getElementById('ht-date').innerHTML = datetime[1];

	setTimeout("updateClock()",(60-datetime[2])*1000); //update when minute changes

}



var Days = new Array("Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday");



var Months = new Array("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");



function getDateTime(){

	var datetime = new Array();

	var today = new Date();

	var hrs = today.getHours();

	var mins = today.getMinutes();

	var secs = today.getSeconds();

	datetime[0]= ((hrs < 10) ? "0" : "") + hrs + ":" 

    + ((mins < 10) ? "0" : "") + mins;

	var year = today.getYear();

	if(year<1000) year+=1900;

	datetime[1]=Days[today.getDay()] + " " + today.getDate() + " " + Months[today.getMonth()] + ", " + year;

	datetime[2]=secs;

	return datetime;

}