#include <iostream>
using namespace std;
int main() {
int code;
cin >> code;
// Write your safe delete + pointer reset logic here
int* dt = new int;
*dt = code;
cout << code << " ";
delete dt;
dt = nullptr;
if(dt){
cout << "NOT_OK";
} else{
cout << "OK";
}
return 0;
}