#include <bits/stdc++.h>
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
using namespace std;
using ll = long long;
using ld = long double;
int main() {
  int n = 0;
  cin >> n;
  if (to_string(n)[0] == '7' || to_string(n)[1] == '7' ||
      to_string(n)[2] == '7')
    cout << "Yes" << endl;
  else
    cout << "No" << endl;
}