fn main(){
    let mut s = String::new();
    std::io::stdin().read_line(&mut s).ok();
    let n: usize = s.trim().parse().unwrap();

    match n {
        2008..=1000000000 => println!("Namiki Secondary School"),
        1984..=2007 => println!("Namiki High School"),
        _ => println!("None")
    }
}