4225 WHILE NXA<=NA AND NXB<=NB