// lastupd.js - George McMurdo, updated 12 Feb 01

var docdate = new Date(document.lastModified);
var month = docdate.getMonth();

  if (month ==  0) var monthstr = "January";
  if (month ==  1) var monthstr = "February";
  if (month ==  2) var monthstr = "March";
  if (month ==  3) var monthstr = "April";
  if (month ==  4) var monthstr = "May";
  if (month ==  5) var monthstr = "June";
  if (month ==  6) var monthstr = "July";
  if (month ==  7) var monthstr = "August";
  if (month ==  8) var monthstr = "September";
  if (month ==  9) var monthstr = "October";
  if (month == 10) var monthstr = "November";
  if (month == 11) var monthstr = "December";

var year = docdate.getYear()
if (year < 1000) {
  year = year + 1900;
}

document.write(
"<center><br><hr size=1><font face=Verdana, Arial, Hevetica size=-2>"+"Last Revised: " 
+ monthstr  + " " + docdate.getDate()  + ", " 
+ year+"</font></conter>"
);