function Main(input) {
  input = input.split("\n");

  let hasSeven = false;
  for(let i = 0; i < input[0].length; i++){
    if(input[0][i] === '7') {
      hasSeven = true;
      break;
    }
  }
    if(hasSeven){
      console.log("Yes");
    } else {
      console.log("No");
    }
}
//*この行以降は編集しないでください（標準入出力から一度に読み込み、Mainを呼び出します）
Main(require("fs").readFileSync("/dev/stdin", "utf8"));