#include <bits/stdc++.h>
using namespace std;
using ll = long long;
typedef vector<int> vec1;
typedef vector<string> vec2;
typedef vector<double> vec3;

int main() {

  int a;
  cin >> a;
  if(a / 100 == 7) {
    cout << "Yes" << endl;
    return 0;
  }
  a = a % 100;
  if(a / 10 == 7) {
    cout << "Yes" << endl;
    return 0;
  }
  if(a % 10 == 7) {
    cout << "Yes" << endl;
    return 0;
  }
  cout << "No" << endl;
}