#include <bits/stdc++.h> using namespace std; int main() { int n; cin>>n; int number = n; int temp = 0; int flag = 0; while(number != 0) { temp = number % 10; if(temp == 4) { flag = 1;break; } number /= 10; } if(flag == 1 || n % 13 == 0) { cout<<"NO"<<endl; } else { cout<<"OK"<<endl; } return 0; }