3125 WHILE NOT EOF(1)