#include <bits/stdc++.h>
#include <numeric>
using namespace std;
using Graph = vector<vector<int>>;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
const long long X=1000000000+7;

int main() {
  int n;
  cin>>n;
  bool ans=true;
  if(n%10!=7){
    n/=10;
    if(n%10!=7){
      n/=10;
      if(n%10!=7)
        ans=false;
    }
  }
  if(ans) cout<<"Yes"<<endl;
  else cout<<"No"<<endl;
}