// JavaScript Document
//if (Date.parse(document.lastModified) != 0) {
  var modDate = new Date(document.lastModified);
  var modYear = modDate.getYear();
  modYear = (modYear < 2000) ? modYear + 1900 : modYear;
  var monthName = new Array("January", "February", "March", "April", "May", 
   "June", "July", "August", "September", "October", "November", "December");
  document.write(monthName[modDate.getMonth()] + " ");
  document.write(modDate.getDate() + ", " + modYear);
 // }