public static void writeBottomSection(org.powerloom.PrintableStringWriter stream) {
    stream.print("<input TYPE=button  NAME=\"show\" VALUE=\"Show\" onClick=\"loadContextURL('content', 'show', this.form)\">\n");
    if (OntosaurusUtil.savingAllowedP()) {
      stream.print("<input TYPE=button  NAME=\"save\" VALUE=\"Save...\" onClick=\"loadContextURL('content', 'save',this.form)\">\n");
    }
    if (OntosaurusUtil.loadingAllowedP()) {
      stream.print("<input TYPE=button  NAME= \"load\" VALUE=\"Load...\" \n       onClick=\"loadContextURL('content', 'load', this.form)\">\n");
    }
    if (OntosaurusUtil.edittingAllowedP()) {
      stream.print("<input TYPE=button  NAME=\"newctxt\" VALUE=\"New...\" onClick=\"loadNewContextURL('toc', 'COMMON-LISP-USER', this.form)\">\n");
    }
    {
      stream.println();
      stream.print("</TD>");
    }
;
    stream.println("<TD ROWSPAN=1 ALIGN=CENTER>");
    stream.println("<INPUT TYPE=\"button\" NAME=\"swap\" VALUE=\"Hold Window\" \n  onClick=\"putLeft(parent.frames[2].document.location.href)\" onMouseOver=\"window.status='Moves the content window into the reference window.'; return true\">");
    stream.println("</TD>");
    if (OntosaurusUtil.edittingPossibleP()) {
      {
        stream.print("<TD ALIGN=LEFT ROWSPAN=2");
        if (OntosaurusUtil.edittingAllowedP()) {
          stream.print(" BGCOLOR='#FFCCCC'");
        }
        else if (OntosaurusUtil.currentEditLockP()) {
          stream.print(" BGCOLOR='#FFFFCC'");
        }
        {
          stream.println(">");
          stream.print("<INPUT TYPE=\"radio\" NAME=\"LOCK\" VALUE=\"0\" onClick=\"location.pathname='/loom/edit-unlock.html'\"");
        }
;
        if (!(OntosaurusUtil.edittingAllowedP())) {
          stream.print(" CHECKED");
        }
        {
          stream.println(">Browse&nbsp;only<BR>");
          stream.print("<INPUT TYPE=\"radio\" NAME=\"LOCK\" VALUE=\"1\" onClick=\"location.pathname='/loom/edit-lock.html'\"");
        }
;
        if (OntosaurusUtil.edittingAllowedP()) {
          stream.print(" CHECKED");
        }
        stream.print(">Make&nbsp;Changes<BR>&nbsp;&nbsp;(Others&nbsp;blocked)\n</TD></TR>");
      }
    }
    else {
      {
        stream.println("<TD ALIGN=CENTER ROWSPAN=2 VALIGN=CENTER>");
        stream.println("<A HREF=\"http://www.isi.edu/isd/LOOM/PowerLoom/\" TARGET=\"manual\" onMouseOver=\"window.status='Goes to the PowerLoom Home Page'; return true\"><img src=\"/ploom/icons/powerloom-logo-small.gif\" BORDER=0 WIDTH=40 HEIGHT=38></A>");
        stream.println("</TD>");
        stream.println("</TR>");
      }
;
    }
    {
      stream.println("<TR><TD ALIGN=CENTER ROWSPAN=1>");
      stream.println("<A HREF='" + OntosaurusUtil.$POWERLOOM_REFERENCE_MANUAL_URL$ + "' TARGET=\"manual\" onMouseOver=\"window.status='PowerLoom Reference Manual' ; return true\">");
      stream.println("<IMG SRC=\"/ploom/icons/book-small.gif\" BORDER=0 WIDTH=21 HEIGHT=11></a></TD>");
      stream.println("<TD ALIGN=JUSTIFY ROWSPAN=1 COLSPAN=2>");
    }
;
    {
      stream.println();
      stream.println();
      stream.println("<SELECT NAME=\"objecttype\">");
      stream.println("<option VALUE=\"object\" SELECTED>any</option>");
      stream.println("<option VALUE=\"concept\">" + OntosaurusUtil.lookupTerm(OntosaurusUtil.KWD_CONCEPT, false, false) + "</option>");
      stream.println("<option VALUE=\"relation\">" + OntosaurusUtil.lookupTerm(OntosaurusUtil.KWD_RELATION, false, false) + "</option>");
      stream.println("<option VALUE=\"instance\">" + OntosaurusUtil.lookupTerm(OntosaurusUtil.KWD_INSTANCE, false, false) + "</option>");
      stream.println("</SELECT>");
    }
;
    {
      stream.println();
      stream.println("<INPUT NAME=\"find\" SIZE=30 >");
      stream.println();
      stream.println("<input TYPE=submit  NAME=\"dofind\" VALUE=\"Find\" onClick=\"loadURL('content', 'show', this.form)\">");
    }
;
    if (OntosaurusUtil.edittingAllowedP()) {
      stream.print("<input TYPE=button  NAME= \"edit\" VALUE=\"Edit\" \n       onClick=\"loadURL('content', 'edit', this.form)\">\n<input TYPE=button  NAME=\"new\" VALUE=\"New...\" \n       onClick=\"loadURL('content', 'new',this.form)\">\n");
    }
    {
      stream.println("  <img src=\"/ploom/icons/eighth-inch-space.gif\" ALT=\" \" WIDTH=9 HEIGHT=2>");
      stream.println("Match&nbsp;<SELECT NAME=\"matchtype\">");
      stream.println("<option VALUE=\"exact\">Exactly</option>");
      stream.println("<option VALUE=\"caseInsensitive\">Case Insensitive</option>");
      stream.println("<option VALUE=\"substring\" SELECTED>Substring</option>");
      stream.println("</SELECT>");
    }
;
    stream.print("\n</TD></TR></TABLE>\n</FORM>");
    stream.println("<SCRIPT LANGUAGE='JavaScript'>");
    stream.println("var cookieValue = document.cookie.substring(document.cookie.indexOf('theory=')+7,document.cookie.length);");
    stream.println("if (cookieValue.indexOf(';') != -1) {");
    stream.println("cookieValue = cookieValue.substring(0,cookieValue.indexOf(';'));");
    stream.println("}");
    stream.println("for (var i = 0; i < document.navform.theory.length; i++) {");
    stream.println("   if (document.navform.theory[i].value==cookieValue) {");
    stream.println("     document.navform.theory.selectedIndex = i; }");
    {
      stream.println("}</SCRIPT>");
      stream.println();
    }
;
    return;
  }