#include <bits/stdc++.h>

#define rep(i, n) for (int i = 0; i < (n); ++i)

using namespace std;

using ll = long long;
using P = pair<int, int>;

int main() {
  int n;
  cin >> n;
  string s = to_string(n);
  bool ok = false;
  for (char c : s) {
    if (c == '7') {
      ok = true;
    }
  }
  cout << (ok ? "Yes" : "No") << endl;

  return 0;
}
