function Main(x) {
    if (x >99 || x <1000) {
        let _n = [];
let n = x.toString();
        _n[0] = n.charAt(0);
        _n[1] = n.charAt(1);
        _n[2] = n.charAt(2);
        const a = _n.filter(_a => _a === '7');
        if(a.length < 1){
            console.log('No');
        } else {
            console.log('Yes');
        }
    }
}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));