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