#include <bits/stdc++.h> using namespace std; int main() { int n,flag; cin>>n; int m = n; while(n != 0) { int temp = n % 10; if(temp == 4) { flag = 0; break; } n /= 10; } if(flag = 0 || m % 13 == 0) { cout<<"NO"<<endl; } else { cout<<"OK"<<endl; } return 0; }