function Main(input) {
  const nums = input.toString().split("");
  if (nums.some(v => v === '7')){
    console.log('Yes');
  }else{
    console.log('No');
  }
}

Main(require("fs").readFileSync("/dev/stdin", "utf8"));
