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