import java.io.*;
import java.util.*;
import java.text.*;

import javax.servlet.*;
import javax.servlet.http.*;

public class ServerCounter
      extends HttpServlet {
    private static final String kFilename = "hitcounter.txt";
    private int tHits;

    public void init() {
        try {
          BufferedReader in = new BufferedReader(
                new FileReader(kFilename));
          tHits = Integer.parseInt(in.readLine());
          in.close();
        }
        catch (Exception e) {
			tHits=1;
		}
    }

     public void doGet(HttpServletRequest request,
           HttpServletResponse response)
           throws IOException, ServletException {
        response.setContentType("text/plain");
        PrintWriter out = response.getWriter();
        out.println(""+ tHits++);
    }

    public void destroy() {
        try {
          PrintWriter out = new PrintWriter(
                new FileWriter(kFilename));
          out.println(tHits);
          out.close();
        }
        catch (IOException ioe) {}
    }
}