#include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; #define repl(i,a,b) for(int i=(int)(a);i<(int)(b);i++) #define rep(i,n) repl(i,0,n) #define mp(a,b) make_pair((a),(b)) #define pb(a) push_back(a) #define all(x) (x).begin(),(x).end() #define dbg(x) cout<<#x"="<<(x)<=6) return false; if(str[0]<'0' || str[0]>'9') return false; int idx=1, n=str[0] - '0'; while(n!=0 && idx'9') return false; n = n*10 + str[idx] - '0'; idx++; } if(n!=0 && n<=12345) return true; else return false; } int main(){ string s1,s2; cin>>s1>>s2; if(isvalid(s1) && isvalid(s2)) cout<<"OK"<