#include<bits/stdc++.h>
#include<atcoder/all>
#define chmin(x,y) (x) = min((x),(y))
#define chmax(x,y) (x) = max((x),(y))
using namespace std;
using namespace atcoder;
using ll = long long;
const ll mod = 998244353;
using mint = modint998244353;
using Graph = vector<vector<pair<int,ll>>>;
const vector<int> dx = {1,0,-1,0}, dy = {0,1,0,-1};

int main(){
  // input
  int N; cin >> N;
  if(N >= 2008) cout << "Namiki Secondary School" << endl;
  else if(N >= 1984) cout << "Namiki High School" << endl;
  else cout << "None" << endl;
  
  // solve
  
  
  // output
  
}