#include <bits/stdc++.h>
using namespace std;
typedef long long int ll;
#define rep(i, n) for (int i = 0; i < n; i++)
#define all(x) x.begin(), x.end()

int main() {
  int n;
  cin >> n;
  int a, b, c;
  a = n / 100;
  b = (n / 10) % 10;
  c = n % 10;
  if (a == 7 || b == 7 || c == 7) {
    cout << "Yes" << endl;
  } else {
    cout << "No" << endl;
  }
}