//<!--
var docHdg="";
  docHdg += "<Center>";
//  docHdg += "<IMG ALIGN=ABSMIDDLE SRC='../gifs/TC_crest.gif' ALT='Trinity College' ALIGN=baseline>"
//  docHdg += "<IMG ALIGN=ABSMIDDLE SRC='../gifs/cpsc.gif' ALT='Introduction to Computing' ALIGN=baseline WIDTH=393 HEIGHT=97>"
  docHdg += "<IMG ALIGN=ABSMIDDLE SRC='http://starbase.trincoll.edu/~ram/cpsc352/gifs/TC_crest.gif' ALT='Trinity College' ALIGN=baseline>"
  docHdg += "<IMG ALIGN=ABSMIDDLE SRC='http://starbase.trincoll.edu/~ram/cpsc352/gifs/cpsc.gif' ALT='Introduction to Computing' ALIGN=baseline WIDTH=393 HEIGHT=97>"



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

//-->