4/19    What's the proper way to write a phone number in the U.S. for someone
        outside the U.S. (in England)?   What exactly do they have to dial?