out.println("<html><head><title>" + docTitle + "</title></head><body>");
out.println("<html><head><title>" + docTitle + "</title>"); header(); out.println("</head><body>"); beginBody();
	protected void prologue() throws IOException {		out.println("<html><head><title>" + docTitle + "</title></head><body>");		out.println("<h1>" + docTitle + "</h1>");	}