process.stdin.resume();
function Main(input){
	input = input.split("");
	console.log((input[0]==7||input[1]==7||input[2]==7)?"Yes":"No");
}Main(require("fs").readFileSync("/dev/stdin", "utf8").trim());