'use strict';
const p = s => console.log(s);

// inputに入力データ全体が入る
function Main(input) {
  // 1行目がinput[0], 2行目がinput[1], …に入る
  input = input.split("\n");
  let N = input[0].split(" ")[0];

  let isSeven = false;

  while(N>1) {
    let num = N % 10;
    if(num === 7) {
      isSeven = true;
      break;
    }
    N /= 10;
    // p(N);
  }
  if(isSeven) p('Yes');
  else p('No');

  // p(N);
}
//*この行以降は編集しないでください（標準入出力から一度に読み込み、Mainを呼び出します）
Main(require("fs").readFileSync("/dev/stdin", "utf8"));
