use std::collections::{HashMap, VecDeque};
use std::io::*;
use std::str::FromStr;
fn read<T: FromStr>() -> T {
    let stdin = stdin();
    let stdin = stdin.lock();
    let token: String = stdin
        .bytes()
        .map(|c| c.expect("failed to read char") as char)
        .skip_while(|c| c.is_whitespace())
        .take_while(|c| !c.is_whitespace())
        .collect();
    token.parse().ok().expect("failed to parse token")
}
struct Main {
    k: usize,
    a: Vec<Vec<i64>>,
}
impl Main {
    fn invoke(&mut self) {
    }
}

fn main() {
    let n: u32 = read();
    let n_str = n.to_string();
    let n_chars = n_str.chars();
    let mut res = "No";
    for c in n_chars {
        if c == '7' {
            res = "Yes";
        }
    }
    println!("{}", res);

//    Main {
//        k: k,
//        a: vec![(1..10).collect::<Vec<i64>>(); 10],
//    }
//    .invoke()
}
