function modified() {
  lastdate = document.lastModified;
  document.writeln("This page was last modified 11/04/2007");
}