7675 WHILE TF=4 AND KTP=2 AND KF(1)=1