function lastMod() {
   if (Date.parse(document.lastModified) !=0)
      document.write("This page was last modified on "
      + document.lastModified
      + ".<BR>");
}