out.println( "<A href=\"/$"+ getEncodedAgentName()+getPath()+ "?viewType=viewAllAgents&firstAgent="+ firstAgent+"\" + target=\"_top\">\n"+ "<h2><center>More Agents</h2></center>\n"+ "</A>");
out.println("<A href=\"/$" + getEncodedAgentName()+getPath() + "?viewType=viewAllAgents&refreshInterval=" + refreshInterval + "&redThreshold=" + redThreshold + "&yellowThreshold=" + yellowThreshold + "&firstAgent=" + firstAgent + "\" + target=\"_top\">\n" + "<h2><center>More Agents</h2></center>\n" + "</A>");
    private void viewMoreLink() throws IOException {      response.setContentType("text/html");      out = response.getWriter();      format = FORMAT_HTML;     // Force html format      out.println(          "<html>\n" +          "<head>\n" +          "<title>"+          getTitlePrefix()+          "Completion of More Agents</title>\n" +          "</head>\n"+          "<body>");      String firstAgent = request.getParameter("firstAgent");      if (firstAgent != null) {        out.println(            "<A href=\"/$"+            getEncodedAgentName()+getPath()+            "?viewType=viewAllAgents&firstAgent="+            firstAgent+"\" + target=\"_top\">\n"+            "<h2><center>More Agents</h2></center>\n"+            "</A>");      }      out.println("</body>\n</html>");    }