  document.writeln("<font size='-1'><B>Last updated:<B>&nbsp;");       
  document.writeln("- " + document.lastModified);       
  document.writeln("</B></font>");       

