/* Updating clock. Credit: http://www.yaldex.com/ */

function clock() {
	var digital = new Date();
	var hours = digital.getHours();
	var minutes = digital.getMinutes();
	var amOrPm = "AM";
	if (hours > 11) amOrPm = "PM";
	if (hours > 12) hours = hours - 12;
	if (hours == 0) hours = 12;
	if (minutes <= 9) minutes = "0" + minutes;
	dispTime = hours + ":" + minutes + " " + amOrPm;
	document.getElementById('thetime').innerHTML = dispTime;
	setTimeout("clock()", 1000);
}
window.onload=clock;