#include<bits/stdc++.h> using namespace std; int main() { int n,b; cin>>n; if(n%13==0) { cout<<"NO"; } else if(n%10==4 || n%100==4 || n%1000==4 || n%10000==4 || n%100000==4 || n%1000000==4) { cout<<"NO"; } else { cout<<"OK"; } }