9444 WHILE MK=1