#include <bits/stdc++.h>
using namespace std;
using ll=long long;
int main(){
  ll N; cin>>N;
  for(int i=0; i<3; i++){
    if(N%10==7){
      cout<<"Yes"<<endl;
      return 0;
    }
    N/=10;
  }
  cout<<"No"<<endl;
}