use std::io::*;
use std::str::FromStr;
use  std::collections::BTreeSet;
use std::cmp::min;

fn read<T: FromStr>() -> T {
    let stdin = stdin();
    let stdin = stdin.lock();
    let token: String = stdin
        .bytes()
        .map(|c| c.expect("faild to read char") as char)
        .take_while(|c| !c.is_whitespace())
        .collect();
    token
        .parse()
        .ok()
        .expect("faild to parse token")
}

fn main(){
    if is_seven(read()) {
        println!("Yes");
    } else {
        println!("No");
    }
}

fn is_seven(a: u64) -> bool {
    if a % 10 == 7 {
        true
    } else if a == 0 {
        false
    } else {
        is_seven(a / 10)
    }
}
