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