/*
 * This script prints the date of last modification as January 1, 2000
 * It uses the style class '.lastModified' 
 */
      var lmDate = document.lastModified;
      var monthname = new Array('January','February','March','April','May','June','July','August','September','October','November','December')
      monthnr=eval(lmDate.substring(0,2));
      month=monthname[monthnr-1];
      zero=eval(lmDate.substring(3,4));
      if (zero==0) {day=lmDate.substring(4,5)}
      else {day=lmDate.substring(3,5)};
      year=lmDate.substring(6,10);
      document.write("<p class='lastModified'>This page has last been modified on "+month+" "+day+", "+year+"</p>")