function Main(input) {
	var str = input;
	str = str.split("\n")[0];
    var x = Number(str%10);
    var y = Number(Math.floor(str/10)%10);
    var z = Number(Math.floor(str/100)%10);
   	if(x===7|| y===7|| z===7){
 		console.log("Yes");
   	}else{
   			console.log("No");
   	}
}
 //*おまじない
Main(require("fs").readFileSync("/dev/stdin", "utf8"));
