#include <bits/stdc++.h>
#define For(i, a, b) for(long long i = a; i < b; i++)
#define rep(i, n) For(i, 0, n)
#define rFor(i, a, b) for(long long i = a; i >= b; i--)
#define ALL(v) (v).begin(), (v).end()
#define rALL(v) (v).rbegin(), (v).rend()
using namespace std;

using lint = long long;
using ld = long double;

int INF = 2000000000;
lint LINF = 1000000000000000000;

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