#include <bits/stdc++.h>
using namespace std;
 
int main() {
int N;
  cin>>N;
  if(N%10==7){
    cout<<"Yes"<<endl;
  }
  else if((N/10)%10==7){
    cout<<"Yes"<<endl;
  }
  else if(N/100==7){
    cout<<"Yes"<<endl;
  }
  else{
    cout<<"No"<<endl;
  }
}
