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

int main(){
  ll n;
  cin >> n;
  ll number1 = n % 10;
  ll number100 = n / 100;
  ll number10 = n / 10 % 10;
  if(number1==7||number10==7||number100==7){
    cout << "Yes" << endl;
  }
  else{
    cout << "No" << endl;
  }
}