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