*/
      private void emitHeader(PrintWriter out) {        out.println("<html><head></head><body onload=\"setTimeout('location.reload()',"+refreshRate+");\">");        out.println("<center><h1>Deconfliction Test Observation Servlet</h1>");        out.println("<p>Will refresh every " + (refreshRate/1000) + " seconds. ");        out.println("You can change this rate here: (in milliseconds)");        out.print("<form name=\"myForm\" method=\"get\" >" );        out.println("Refresh Rate: <input type=text name=REFRESH value=\""+refreshRate+"\" size=7 >");        out.println("<sp>Long# Format: <input type=text name=LNF value=\""+LONG_NUM_FORMAT+"\" >");        out.println("<input type=submit name=\"Submit\" value=\"Submit\" size=10 ><br>");        out.println("\n</form>");        out.println("</center><hr>");      }