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