4200 IF X<XMI THEN XMI=X