9400 WHILE MK=0