#include <bits/stdc++.h>
using namespace std;

int main(){
  int n;
  string s;
  std::cin >> n;
  for (int i = 0; i < n.size(); i++) {
    if (n.at(i) == "7") {
      s = "Yes";
    }
    else{
      s = "No";
    }
  }
  return 0;
}
