function Main(INPUT){
  const input=INPUT.split("\n");
  const N=parseInt(input[0]);
  console.log(N<1984?"None":N<2008?"Namiki High School":"Namiki Secondary School")
}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));