#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define ALL(a)  (a).begin(),(a).end()
#include <atcoder/all>
using namespace atcoder;
#define int long long
using ll = long long;
using P = pair<int,int>;
using mint = modint998244353;
int INF=1e18+1;

template <typename T> inline bool chmin(T& a, const T& b) {bool compare = a > b; if (a > b) a = b; return compare;}
template <typename T> inline bool chmax(T& a, const T& b) {bool compare = a < b; if (a < b) a = b; return compare;}
template <typename T> inline T lcm(T a, T b) {return (a * b) / gcd(a, b);}
template <typename T> inline T ceil(T a,T b) {return (a+(b-1))/b;}
template<class... T> inline void input(T&... a) { ((cin >> a), ...); }

vector<int> dx={-1,0,1,0};
vector<int> dy={0,-1,0,1};


signed main(){
    ios::sync_with_stdio(false);
    cin.tie(nullptr);

    int N;
    input(N);

    if (N >= 2008) cout << "Namiki Secondary School";
    else if (N < 2008 && N >= 1984) cout << "Namiki High School";
    else cout << "None" << endl;

}