main(n1,n2,l1,l2,i)
{
	char s1[6];
	char s2[6];
	scanf("%s\n%s",s1,s2);
	n1=0;
	n2=0;
	l1=strlen(s1);
	l2=strlen(s2);
	for(int i=0;i<l1;i++){
		n1=(n1)*10+(s1[i]-'0');
	}
	for(int i=0;i<l2;i++){
		n2=(n2)*10+(s2[i]-'0');
	}
	if(n1>12345||n2>12345){
		goto A;
	}
	for(i=0;i<l1;i++){
		if(!isdigit(s1[i])||(s1[0]=='0'&&l1!=1)) {
			goto A;
		}
	}
	for(i=0;i<l2;i++){
		if(!isdigit(s2[i])||(s2[0]=='0'&&l2!=1)){
			goto A;
		}
	}
	puts("OK");
	A:
	puts("NG");
	return 0;
}