function modified()
{
  updated = document.lastModified;
  document.writeln("<TABLE ALIGN=right BORDER=0>");
  document.writeln("  <TR>");
  document.writeln("    <TD CLASS=footer>©Katsumushi Judo Kwai " + updated.substring(20,24) + "</TD>");
  document.writeln("  </TR>");
  document.writeln("  <TR>");
  document.writeln("    <TD CLASS=footer>Page last updated: " + updated.substring(4,11) + updated.substring(20,24) + "</TD>");
  document.writeln("  </TR>");
  document.writeln("</TABLE>");
}