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