//<!--
var docHdg="";
  docHdg += "<Center>";
  docHdg += "<IMG ALIGN=ABSMIDDLE SRC='./gifs/bar.gif' ALT='bar'><BR>";
  docHdg += "<IMG ALIGN=ABSMIDDLE SRC='./gifs/crypto.gif' ALT='Historical Cryptography' ALIGN=baseline WIDTH=400 HEIGHT=93><BR>";
  docHdg += "<IMG ALIGN=ABSMIDDLE SRC='./gifs/bar.gif' ALT='bar'><BR>";

  docHdg += "<h4><font size='-1'>URL: "; 
  docHdg += document.location;
  docHdg += "<BR>Last updated: "; 
  docHdg +=  document.lastModified;
  docHdg += "</font></h4></CENTER>";

  document.open();
  document.write(unescape(docHdg));

//-->