INT(87)   2
TIMES   5
INT(23)   7
EOF   9