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