function footer()
{
   document.writeln("", document. lastModified); }