function updateClock()
{		
	var monthNames = new Array(12);
	monthNames[0] 	= 'January';
	monthNames[1] 	= 'February';
	monthNames[2] 	= 'March';
	monthNames[3] 	= 'April';
	monthNames[4] 	= 'May';
	monthNames[5] 	= 'June';
	monthNames[6] 	= 'July';
	monthNames[7] 	= 'August';
	monthNames[8] 	= 'September';
	monthNames[9] 	= 'October';
	monthNames[10] 	= 'November';
	monthNames[11] 	= 'December';	
	
	var dateObj = new Date();
	
	var hours = dateObj.getHours();
	var minutes = dateObj.getMinutes();
	
	// Pad the minutes and seconds with leading zeros, if required
	minutes = (minutes < 10 ? "0" : "") + minutes;
	
	// Get the day
	var day = dateObj.getDate(); 
      
	if (day == 1 || day == 21 || day == 31){
		var sup = "st";
	}else if (day == 2 || day == 22){
		var sup = "nd";
	}else if (day == 3 || day == 23){
		var sup = "rd";
	}else{
		var sup = "th";
	}
	
	var month = monthNames[dateObj.getMonth()];
	var year = dateObj.getFullYear();
    
	var date = day + sup + ' ' + month + ' ' + year + ' | ';
	
	// Compose the string for display
	var timeNow = date + ' ' + hours + "." + minutes;
		
	// Update the time display
	document.getElementById("clock").firstChild.nodeValue = timeNow;
	
	$('clock').update(timeNow);
	
}