#pragma GCC optimize("O3")
#include <bits/stdc++.h>
using namespace std;
typedef int64_t ll;
const ll MOD = 1000000007;
const ll MOD2 = 998244353;
template <class T> istream &operator>>(istream &is, vector<T> &v);
template <class T> ostream &operator<<(ostream &os, vector<T> &v);

void solve() {
  ll n;
  cin >> n;
  if (n < 1984) {
    cout << "None" << endl;
  } else if (n < 2008) {
    cout << "Namiki High School" << endl;
  } else {
    cout << "Namiki Secondary School" << endl;
  }
}

int main() {
  cout.tie(NULL);
  cin.tie(NULL);
  cout << fixed << setprecision(9);
  solve();
}

template <class T> istream &operator>>(istream &is, vector<T> &v) {
  for (size_t i = 0; i < v.size(); i++) {
    is >> v[i];
  }
  return is;
}

template <class T> ostream &operator<<(ostream &os, vector<T> &v) {
  for (size_t i = 0; i < v.size(); i++) {
    os << v[i] << (i == v.size() - 1 ? "" : " ");
  }
  return os;
}