
function Main(input) {
    var N = input;
    
    for(var i=0;i<3;i++){
        if(input[i] == "7"){
            var seven = "Yes";
        }else{var seven = "No";}
    }

    
    console.log(seven);
    



}
//*この行以降は編集しないでください（標準入出力から一度に読み込み、Mainを呼び出します）
Main(require("fs").readFileSync("/dev/stdin", "utf8"));