#include <bits/stdc++.h>
using namespace std;
int main() {
    vector<string> AN={"Namiki Secondary School","Namiki High School","None"};
    int N;cin>>N;
    cout<<AN[(N<1984)+(N<2008)]<<endl;;
}