INT(23) 2 GE 5 INT(85) 8 EOF 10