#include <bits/stdc++.h>
 using namespace std;
#define rep(i,n) for(int i=0;i<n;i++)
 int main(){
 int n;
   cin>>n;
   if(n/100==7||n%10==7||(n/10)%10==7)
     cout<<"Yes"<<endl;
   else
     cout<<"No"<<endl;
}