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

int main(){
  char a[6],b[6];
  int i,f;
  
  scanf("%s",a);
  scanf("%s",b);
  
  f=0;
  i=0;
  while(f==0 && a[i]!="\0"){
  	if(!(isdigit(a[i]))){
  		f=1;
  	}
  	i++;
  }
  i=0;
  while(f==0 && b[i]!="\0"){
  	if(!(isdigit(b[i]))){
  		f=1;
  	}
  	i++;
  }
  if(f==0 && a[0]==0 && a[1]!="\0"){
  	f=1;
  }
  if(f==0 && b[0]==0 && b[1]!="\0"){
  	f=1;
  }
  if(f==0 && atoi(a)>12345){
  	f=1;
  }
  if(f==0 && atoi(b)>12345){
  	f=1;
  }
  
  if(f==0){
  	printf("OK\n");
  }else{
  	printf("NG\n");
  }
  
  return 0;
}