3035 WHILE IKP>=2