function Main (input) {
  input = String(input.split("\n")[0]).split("");
  var ans = "No";
  for (var i of input) {
    if (i == "7") {
      ans = "Yes";
    }
  }
  console.log(ans);
}

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