pgm 22.17, format phone numbers from input file