process.stdin.resume();
process.stdin.setEncoding('utf8');
// Your code here!

const Main = (p)=>{
	// 1行目がinput[0], 2行目がinput[1], …に入る
	
	//let t = input[0].split(" ").map(Number);
	//文字列から10進数に変換するときはparseIntを使います
	//出力
	console.log(p[0]==="7"||p[1]==="7"||p[2]==="7"?"Yes":"No");
}
//*この行以降は編集しないでください（標準入出力から一度に読み込み、Mainを呼び出します）
Main(require("fs").readFileSync("/dev/stdin", "utf8"));