println("<P>This file generated by  "); print("<A HREF=MkIndex.java>MkIndex</A>, a Java program, at ");
println("<P>This file generated by "); print("<A HREF=\"MkIndex.java\">MkIndex</A>, a Java program, at ");
	void END() {		System.out.println("Finishing the HTML");		println("</UL>");		println("<P>This file generated by  ");		print("<A HREF=MkIndex.java>MkIndex</A>, a Java program, at ");		println(new Date().toString());		println("</P>");		println("</BODY>");		println("</HTML>");	}