"</center></h2>\n"+ "<form name=\"myForm\" method=\"get\" "+ "onSubmit=\"return mySubmit()\">\n"+ getTitlePrefix()+ "Select an agent above, "+ "<input type=\"hidden\""+ " name=\"viewType\""+ " value=\"viewAgentBig\" "+ "<input type=\"checkbox\""+ " name=\"showTables\""+ " value=\"true\" "); if (showTables) { out.print("checked"); } out.println( "> show table, \n"+ "<input type=\"submit\""+ " name=\"formSubmit\""+ " value=\"Reload\"><br>"); out.println( "<a href=\"/$"+ getEncodedAgentName()+getPath()+ "?viewType=viewAllAgents"+ "\" target=\"_top\">Show all agents.</a>"); out.println( "<a href=\"/$"+ getEncodedAgentName()+getPath()+ "?viewType=viewManyAgents"+ "\" target=\"_top\"> Show several selected agents.</a>"); out.println("</form>");
"</center></h2>\n");
    protected void printCompletionDataAsHTML(CompletionData result) {      // javascript based on PlanViewServlet      out.print(          "<html>\n"+          "<script language=\"JavaScript\">\n"+          "<!--\n"+          "function mySubmit() {\n"+          "  var obj = top.agentFrame.document.agent.name;\n"+          "  var encAgent = obj.value;\n"+          "  if (encAgent.charAt(0) == '.') {\n"+          "    alert(\"Please select an agent name\")\n"+          "    return false;\n"+          "  }\n"+          "  document.myForm.target=\"viewAgentBig\"\n"+          "  document.myForm.action=\"/$\"+encAgent+\""+          getPath()+"\"\n"+          "  return true\n"+          "}\n"+          "// -->\n"+          "</script>\n"+          "<head>\n"+          "<title>"+          getEncodedAgentName()+          "</title>"+          "</head>\n"+          "<body>"+          "<h2><center>"+          getTitlePrefix()+          "Completion at "+          getEncodedAgentName()+          "</center></h2>\n"+          "<form name=\"myForm\" method=\"get\" "+          "onSubmit=\"return mySubmit()\">\n"+          getTitlePrefix()+          "Select an agent above, "+          "<input type=\"hidden\""+          " name=\"viewType\""+          " value=\"viewAgentBig\" "+          "<input type=\"checkbox\""+          " name=\"showTables\""+          " value=\"true\" ");      if (showTables) {        out.print("checked");      }      out.println(          "> show table, \n"+          "<input type=\"submit\""+          " name=\"formSubmit\""+          " value=\"Reload\"><br>");      out.println(          "<a href=\"/$"+          getEncodedAgentName()+getPath()+          "?viewType=viewAllAgents"+          "\" target=\"_top\">Show all agents.</a>");      out.println(          "<a href=\"/$"+          getEncodedAgentName()+getPath()+          "?viewType=viewManyAgents"+          "\" target=\"_top\"> Show several selected agents.</a>");      out.println("</form>");      printCountersAsHTML(result);      printTablesAsHTML(result);      out.print("</body></html>");      out.flush();    }