<!--
   function initArray() {  
      this.length = initArray.arguments.length
      for (var i = 0; i < this.length; i++)
      this[i+1] = initArray.arguments[i]
   }
   var MOYArray = new initArray("January","February","March","April",
                                "May","June","July","August","September",
                                "October","November","December");
   var LastModDate = new Date(document.lastModified);
   document.write("This page was last updated on ");
   document.write(LastModDate.getDate()," ");
   document.write(MOYArray[LastModDate.getMonth()+1],", ");
   document.write((LastModDate.getFullYear()));
   document.write(".");
//-->