def check(n) return false if n !~ /^\d+$/ return false if n =~ /^0\d/ return false if 12345 < n.to_i true end puts check(gets) && check(gets) ? :OK : :NG