// Formatted last-modified date
// Jim Dettwiler  http://www.icehouse.net/jim_d/
if (Date.parse(document.lastModified) != 0) {
  var modiDate = new Date(document.lastModified);
  var monthName = new Array("1", "2", "3", "4", "5", 
   "6", "7", "8", "9", "10", "11", "12");
  document.write("  " + monthName[modiDate.getMonth()] + " ");
  document.write(modiDate.getDate() + " " + modiDate.getFullYear());
  }