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