#include<bits/stdc++.h> using namespace std; int main(){ int n,i; cin>>n; if(n/1000000!=4&&n/100000%10!=4&&n/10000%10!=4&&n/1000%10!=4&&n/100%10!=4&&n/10%10!=4&&n%10!=4&&n%13!=0){ cout<<"OK"; }else{ cout<<"no"; } }