fun readInt () =
    valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn)


val () =
    let
        val n = readInt ()

        val ans = if n < 1984 then "None"
                  else if n < 2008 then "Namiki High School"
                  else "Namiki Secondary School"
    in
          print (ans ^ "\n")
    end