//<!--
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=393 HEIGHT=65><BR>"
  docHdg += "<IMG ALIGN=ABSMIDDLE SRC='../gifs/bar.gif' ALT='bar'><BR>"
  docHdg += "<TABLE CELLSPACING=0 CELLPADDING=0>";
  docHdg += "<TR>";
  docHdg += "<TD ALIGN=CENTER VALIGN=TOP>";
  docHdg += "	<FONT SIZE='-1'><STRONG>[";
  docHdg += "	<A HREF='../index.html'>Crypto Home</A> ||";
  docHdg += "	<A HREF='http://starbase.trincoll.edu/'>Computer Science</A> ||";
  docHdg += "	<A HREF='http://www.trincoll.edu/homepage-text.html'>Trinity College</A>";
  docHdg += "	]";
  docHdg += "	</STRONG></FONT>";
  docHdg += "</TD>";
  docHdg += "</TR>";
  docHdg += "</TABLE>";

  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));

//-->