// Formatted last-modified-date line
// Jim Dettwiler  http://www.jimdettwiler.com/
if (Date.parse(document.lastModified) !== 0) {
  var modiDate = new Date(document.lastModified);
  var monthName = new Array("January", "February", "March", "April", "May",
   "June", "July", "August", "September", "October", "November", "December");
  document.write("Last modified: " + monthName[modiDate.getMonth()] + " ");
  document.write(modiDate.getDate() + ", " + modiDate.getFullYear() + "<BR>");
  document.write("Copyright &copy; 1996-" + modiDate.getFullYear() + " Jim Dettwiler");
  }