#include <stdio.h>

void main(void) {
	int n = 0;
	scanf("%d",&n);
	if(n >= 2008){
		printf("Namiki Secondary School");
	}else if(n >= 1984){
		printf("Namiki High School");
	}else{
		printf("None");
	}
}