" value=\"Reload\"><br>\n"+
" value=\"Reload\"><br>"); out.println(
    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.print(          "> show table, \n"+          "<input type=\"submit\""+          " name=\"formSubmit\""+          " value=\"Reload\"><br>\n"+          "<a href=\"/$"+          getEncodedAgentName()+getPath()+          "?viewType=viewAllAgents"+          "\" target=\"_top\">Show all agents</a>"+          "</form>\n");      printCountersAsHTML(result);      printTablesAsHTML(result);      out.print("</body></html>");      out.flush();    }