function update_clock() {
	var currentTime = new Date()
	var day = currentTime.getDate()
	var day_of_week = currentTime.getDay()
	var month = currentTime.getMonth()
	var year = currentTime.getFullYear()
	var hours = currentTime.getHours()
	var minutes = currentTime.getMinutes()
	var seconds = currentTime.getSeconds()
	
	var days_of_week = new Array("Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday", "Sunday")
	var months = new Array("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December")
	
	if (day == "1" || day == "21" || day == "31") {
		date_prefix = "st";		
	} else if (day == "2" || day == "22") {
		date_prefix = "nd";
	} else if (day == "3" || day == "23") {
		date_prefix = "rd";
	} else {
		date_prefix = "th";
	}
	
	if (minutes < 10) {
		minutes = "0" + minutes
	}
	if (seconds < 10) {
		seconds = "0" + seconds
	}
	
	document.getElementById('clock').innerHTML = days_of_week[day_of_week] + " " + day + date_prefix + " " + months[month] + " " + " " + year + " " + hours + ":" + minutes + ":" + seconds
	setTimeout("update_clock()", 1000);
}