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