(princ "OK")