#include <bits/stdc++.h>
#define ll long long
using namespace std;
int main() {
  int value;
  int a[3];
  cin >> value;
  a[0] = (value % 10);
  value /= 10;
  a[1] = (value % 10);
  value /= 10;
  a[2] = (value % 10);
  value /= 10;
  // cout << a[0] << a[1] << a[2];
  if (a[0] == 7 or a[1] == 7 or a[2] == 7) {
    cout << "Yes";
  } else {
    cout << "No";
  }
}