3725 WHILE IKP=1 OR IKP=3