#include <bits/stdc++.h>
using namespace std;
using ll = long long;
#define rep(i, s, e) for (int i = (int)s; i < (int)e; ++i)
#define all(a) (a).begin(), (a).end()

int main() {
    cin.tie(nullptr);
    
    ll N;
    cin >> N;
    
    if (N <= 1983) cout << "None\n";
    else if (N <= 2007) cout << "Namiki High School\n";
    else cout << "Namiki Secondary School\n";
}