<!--    Start externally added code here
function tod() {
	var today   = new Date();
	var year    = today.getYear();
	var month   = today.getMonth();
	var date    = today.getDate();
	var day     = today.getDay();
	var time    = today.getTime();
	var hours   = today.getHours();
	var minutes = today.getMinutes();
	var seconds = today.getSeconds();

	if (hours == 12) {
	  var amorpm = "p.m.";
	  } else if (hours == 0 ) {
	  hours = 12;
	  var amorpm = "a.m.";
	  } else if (hours > 12 ) {
	  hours = hours - 12;
	  var amorpm = "p.m.";
	  } else {
	  var amorpm = "a.m.";
	}

	// These two if statements add zeroes where needed to 'sanitize' the display
	if (minutes < 10) minutes = "0" + minutes;
	if (seconds < 10) seconds = "0" + seconds;

	var arrMonths = new Array("Jan","Feb","Mar","Apr","May","June","July","Aug","Sept","Oct","Nov","Dec");
	var month = arrMonths[today.getMonth()];

	var arrDays   = new Array("Sun","Mon","Tue","Wed","Thu","Fri","Sat");
	var day = arrDays[today.getDay()];

	if (year < 2000) {
	  year = year + 1900
	}
	document.write(day + " - " + month + " " + date + ", " + year + " - " + hours + ":" + minutes + " " + amorpm);
}

//     End externally added code here  -->