    <!--
	  var months = new Array(12)
	  months[0] = "Jan. "
	  months[1] = "Feb. "
	  months[2] = "Mar. "
	  months[3] = "Apr. "
	  months[4] = "May "
	  months[5] = "Jun. "
	  months[6] = "Jul. "
	  months[7] = "Aug. "
	  months[8] = "Sep. "
	  months[9] = "Oct. "
	  months[10] = "Nov. "
	  months[11] = "Dec. "
	  var whenModified = new Date(document.lastModified)
	  var monthModified = whenModified.getMonth()
	  var dayModified = whenModified.getDate()
	  var yearModified = whenModified.getFullYear()
	  var AmPm = "AM"
	  var hourModified = whenModified.getHours()
	  var minuteModified = whenModified.getMinutes()
	  var spacer = ""
	  if (hourModified > 11) {AmPm = "PM"}
	  if (hourModified > 12) {hourModified = hourModified-12}
	  if (minuteModified < 10) {spacer = "0"}
	  document.write("Last update: " + months[monthModified] + dayModified + ", " + yearModified + " at " + hourModified + ":" + spacer + minuteModified + AmPm)
    // -->