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