The PushCounter Applet: