n;char*t,s[];main(){for(;gets(s);n|=strtol(s,&t,0)>12345|*t|*s<49&!!s[1]);n=!puts(n?"NG":"OK");}