#define _GLIBCXX_DEBUG
#include <bits/stdc++.h>
#define rep(i, n) for (int i = 0; i < (n); ++i)
using namespace std;
using ll = unsigned long long;
using P = pair<int, int>;
const int INF = 1e9;

int main() {
  string n;
  cin >> n;
  string ok = "No";
  for (char x : n) {
    if (x == '7') {
      ok = "Yes";
      break;
    }
  }
  cout << ok << endl;
}
