// Formatted last-modified date. Writes date only, for the current file
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("Jan", "Feb", "Mar", "Apr", "May", 
   "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec");

document.write(modiDate.getDate() +" "+ monthName[modiDate.getMonth()] + " " + modiYear);
  }
// based on Jim Dettwiler  http://www.icehouse.net/jim_d/