import java.io.*;
import java.util.*;
import javax.servlet.*;
import javax.servlet.http.*;

public class GetInitParameter extends HttpServlet {
	public void doGet(HttpServletRequest request, HttpServletResponse response)
			throws ServletException, IOException {
		PrintWriter out = response.getWriter();
		out.println("A Student have the following record : ");
		Enumeration enm = getServletConfig().getInitParameterNames();
		while (enm.hasMoreElements()) {
			out.print(enm.nextElement() + " ");
		}
		out.println("");
		out.println("\nEnr. No.   : "
				+ getServletConfig().getInitParameter("enrNo"));
		out.println("Name       : "
				+ getServletConfig().getInitParameter("name"));
		out.println("Programme  : "
				+ getServletConfig().getInitParameter("prg"));
		out.println("Aaddress   : "
				+ getServletConfig().getInitParameter("add"));
		out.println("Phone no   : "
				+ getServletConfig().getInitParameter("phNo"));
	}

}