function Main(input) {
    var N = input[0].split('');

    if (N[0] === '7' || N[1] === '7' || N[2] === '7') {
        console.log('Yes');
    } else {
        console.log('No');
    }
}

Main(require("fs").readFileSync("/dev/stdin", "utf8").trim().split(/\n|\s/));