from datetime import datetime

jh = datetime(2008, 10, 1)
h = datetime(1984, 11, 6)
n = datetime(int(input()), 12, 31)

if n >= jh:
    print("Namiki Secondary School")
elif n >= h:
    print("Namiki High School")
else:
    print("None")