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

put('<A HREF="' + PARENT_PAGE + '" 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"
self.defaultStatus = document.title + ' on [' + host + '] - Last modified: ' + document.lastModified