// macros
#include <iostream>
#include <iomanip>
#include <algorithm>
#include <vector>
#include <string>
#include <map>

using namespace std;
typedef long long ll;
typedef pair<int,int> pii;

#define LLINF 1000000000000000000LL
#define FOR(i,a,b) for(int i=(int)(a);i<(int)(b);i++)
#define debug(a) cout << "L(" << __LINE__ << "):" << #a << ":" << a << endl;

// problems limits
#define MAX_N 100000

// Variables
string A,B;

// problems input
void input()
{
    cin >> A;
    cin >> B;
}

// problems main
bool OK(string s)
{
    bool lzero=false;
    FOR(i,0,s.size()) {
        if(!isdigit(s[i])) {
            return false;
        }
    }
    FOR(i,0,s.size()) {
        if(i==0 && s[i]=='0') {
            lzero=true;
        }
        if(lzero && i>0 && s[i] != '0') {
            return false;
        }
    }
    int num = atoi(s.c_str());
    if (num > 12345) {
        return false;
    }
    return true;
}
void solve()
{
    if (OK(A) && OK(B)) {
        cout <<  "OK" << endl;
    } else {
        cout << "NG" << endl;
    }
}

int main()
{
    ios::sync_with_stdio(false);

    input();

    solve();
}