puts$<.any?{|e|"#{t=e.to_i}\n"!=e||t>12345}?:NG: :OK