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

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;
}