res.setContentType( "text/html" );
PrintWriter out = res.getWriter();
out.println( "<html>" );
out.println( "<head>" );
out.println( "<title>Echo arguments</title>" );
out.println( "</head>" );
out.println( "<body>" );
out.println( "<h1>Arguments sent using GET:</h1>" );
dumpArgs( req, out );
out.println( "</body>" );
out.println( "</html>" );
out.close();