A java applet that reformats phone numbers