    // inputに入力データ全体が入る
    function Main(inputString) {
    	// 1行目がinput[0], 2行目がinput[1], …に入る
    	inputString = inputString.trim;
    	let a = parseInt( inputString.substr(0,1));
    	let b = parseInt( inputString.substr(1,1));
    	let c = parseInt( inputString.substr(2,1));
        let isContain = '';
        if( (a=7) || (b=7) || (c=7) ){
            isContain = 'Yes';
        }else {
            isContain = 'No';
        }
    	//出力
    	console.log(isContain);
    }
    //*この行以降は編集しないでください（標準入出力から一度に読み込み、Mainを呼び出します）
    Main(require("fs").readFileSync("/dev/stdin", "utf8"));