#include <bits/stdc++.h>
using namespace std;

#define rep(i, n) for( ll i = 0; i < n; i++ )
using ll = long long;

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