function main(input){
    leng = input.length;
    out='No';

    for(i=0;i<leng;i++){
        if(input[i]=='7'){
            out='Yes';
        }
    }

    console.log(out);

}

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