// Formatted last-modified date
   if (Date.parse(document.lastModified) != 0) {
     var modiDate = new Date(document.lastModified);
     var modiYear = modiDate.getYear();
     modiYear = (modiYear < 2000) ? modiYear + 1900 : modiYear;
     var monthName = new Array("January", "February", "March", "April", "May", 
      "June", "July", "August", "September", "October", "November", "December");
     document.write("Last modified: <br>" + monthName[modiDate.getMonth()] + " ");
     document.write(modiDate.getDate() + ", " + modiYear);
     }
   // Jim Dettwiler  http://www.icehouse.net/jim_d/