#include<stdio.h>
int main()
{
	int n;
	scanf("%d", &n);
	if (n < 1984)
		printf("None\n");
	else if (n < 2008)
		printf("Namiki High School\n");
	else
		printf("Namiki Secondary School\n");
	return 0;
}