#include <bits/stdc++.h>
using namespace std;
#include <atcoder/all>
using namespace atcoder;
using mint = modint998244353;
using ll = long long;
using ull = unsigned long long;

#define rep(i, n) for (ll i = 0; i < (ll)(n); i++)


random_device rnd;
mt19937 mt(rnd());
int RandInt(int a, int b) {
    return a + mt() % (b - a + 1);
}

const int dx[4] = {0, 1, 0, -1};
const int dy[4] = {1, 0, -1, 0};

int main(){
    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;
    }
    return 0;
}