/* -*- coding: utf-8 -*-
 *
 * 2945.cc:  No.2945 Namiki Secondary School - yukicoder
 */

#include<cstdio>
#include<algorithm>

using namespace std;

/* main */

int main() {
  int n;
  scanf("%d", &n);

  if (n >= 2008) puts("Namiki Secondary School");
  else if (n >= 1984) puts("Namiki High School");
  else puts("None");

  return 0;
}