#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"; } }