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