#include <stdio.h>
#include <string.h>
#include <stdlib.h>

int isnum(char *arg, int size) {
	int i;
	if (size > 1 && arg[0] == '0') return 0;
	for (i = 0; i < size; i++) {
		if (!('0' <= arg[i] && arg[i] <= '9')) return 0;
	}
	return 1;
}

int main() {
	char a[6], b[6];
	scanf("%s %s", a, b);
	
	if (!isnum(a, strlen(a)) || !isnum(b, strlen(b))) puts("NG");
	else {
		if (atoi(a) <= 12345 && atoi(b) <= 12345) puts("OK");
		else puts("NG");
	}

	return 0;
}