#include <iostream>

int main() {
	int N;
	std::cin >> N;
	std::cout << (N >= 2008 ? "Namiki Secondary School" : N >= 1984 ? "Namiki High School" : "None") << '\n';
}