document.write("<font color=#000000 face=verdana>")
document.write("")
<!-- 
  var modDate = new Date(document.lastModified)
  var year = modDate.getYear()
  if(year < 1000){
    year += 1900
    }
  var monthArray = new Array("January", "February", "March", 
                   "April", "May", "June", "July", "August",
                   "September", "October", "November", "December")
  var modString = "Last updated " + monthArray[modDate.getMonth()]
  modString += " " + modDate.getDate() + ", " + year
  document.write(modString)