function put(s) {
  document.write(s)
}
put('<CENTER><P>&nbsp;</P>')

put('<A HREF="../javascript.html" onMouseOver="changePicHome()" onMouseOut="changePicHome()"><IMG NAME="bhome" BORDER=0 WIDTH=32 HEIGHT=32 SRC="../b-home-out.gif" ALT="Go to parent page."></A>')

put('<A HREF="javascript:window.print();" onMouseOver="changePicPrint()" onMouseOut="changePicPrint()"><IMG NAME="bprint" BORDER=0 WIDTH=32 HEIGHT=32 SRC="../b-print-out.gif" ALT="Print this page."></A>')

put('<P>&nbsp;</P>')
put('</CENTER>')
host = location.host
if (host == "") host = "unknown host"
put('<P><FONT SIZE=-2 FACE="ARIAL,HELVETICA">&nbsp;&nbsp; Title: <I>' + document.title + '</I> <BR>' +
  '&nbsp;&nbsp; Host: <I>' + host + '</I> <BR>' +
  '&nbsp;&nbsp; URL: <I>' + top.location.href + '</I> <BR>' +
  '&nbsp;&nbsp; Last modified: ' + document.lastModified + '<BR><BR></P>')