"use strict";

const main = (input) => {
    const spi = input.split('\n');
    let n = Number(spi[0]);
    let loop = 3;
    while (loop--) {
        if (n % 10 == 7) {
            console.log("Yes");
            return;
        }
        n /= 10;
    }

    console.log("No");
};

main(require("fs").readFileSync("/dev/stdin", "utf8"));
