9225 WHILE K>=250