document.writeln("<font size='-3'>Last updated:&nbsp;");
  document.writeln("- " + new Date(document.lastModified).toLocaleString());       
  document.writeln("</font>");