// Makes a new month array
mthNames = new Array(12);
mthNames[1] = "January";
mthNames[2] = "February";
mthNames[3] = "March";
mthNames[4] = "April";
mthNames[5] = "May";
mthNames[6] = "June";
mthNames[7] = "July";
mthNames[8] = "August";
mthNames[9] = "September";
mthNames[10] = "October";
mthNames[11] = "November";
mthNames[12] = "December";
  myupdate = new Date( document.lastModified );
  thisMonth = mthNames[myupdate.getMonth() + 1];
  thisDay = myupdate.getDate();

  //thisYear = myupdate.getYear();
  thisYear = myupdate.getFullYear();

//Document revision info
document.write( '<HR WIDTH="100%" COLOR=835F47>' );
document.write( "<FONT SIZE=2><EM>Document Revised: " + thisDay + "." + thisMonth + "." + thisYear + "<BR></FONT>" );
//document.write(thisYear);