#include <stdio.h>
#include <stdlib.h>

int main(){
    int i, j, n, count = 0;
    scanf("%d",&n);

    if (n >= 2008)
    {
        printf("Namiki Secondary School");
        return 0;
    }

    if (n >= 1984 && n < 2007)
    {

        printf("Namiki High School");
        return 0;

    }
    
    if (n > 1984)
    {

        printf("None");
        return 0;

    }

}