#!/bin/bash

read a
read b

aa=`echo $a | awk '{match($1, /^[0-9]*$/); print substr($1, RSTART, RLENGTH);}'`
bb=`echo $b | awk '{match($1, /^[0-9]*$/); print substr($1, RSTART, RLENGTH);}'`

if [ -z "$aa" -o -z "$bb" ]; then
	echo "NG"
else
	aa=`expr $aa + 0`
	bb=`expr $bb + 0`

	if [ "$aa" == "$a" -a "$bb" == "$b" -a $aa -le 12345 -a $bb -le 12345 ]; then
		echo "OK"
	else
		echo "NG"
	fi
fi