#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=1; break; } n/=10; } if(flag==0 || m%13==0) { cout<<"NO"; } else { cout<<"OK"; } }