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