<!--
function displayTime()
{
	var rightnow = new Date();
	
	var thehours = rightnow.getHours();
	var themins = rightnow.getMinutes();
	var theseconds = rightnow.getSeconds();
	var hour_desc = "A.M.";
	
	if (thehours == 12)
			hour_desc = "P.M.";
			
	if (thehours > 12)
	{
		thehours -= 12;
		if (thehours == 12)
			hour_desc = "A.M.";
		else
			hour_desc = "P.M.";
	}
	if (thehours < 10)
		thehours = "0" + thehours;
	if (themins < 10)
		themins = "0" + themins;
	if (theseconds < 10)
		theseconds = "0" + theseconds;

	var weekday = rightnow.getDay();
	var themonth = rightnow.getMonth();
	var thedate = rightnow.getDate();
	var theyear = rightnow.getFullYear();

	themonth += 1;
	if (theyear < 2000)	theyear += 1900;
	
	document.write(themonth + "/" + thedate + "/" + theyear + " " +
		thehours + ":" + themins + ":" + theseconds + " " + hour_desc);
}
//-->