#include<bits/stdc++.h>
using namespace std;

int main() {
   int n;
   cin>>n;
   vector <int>v;
   while(n>0){
       v.push_back(n%10);
       n=n/10;
   }
   int flag=0;
   for(auto it=v.begin();it!=v.end();it++){
       if(*it==7){
           flag=1;
           break;
       }
   }
   if(flag==1) cout<<"Yes"<<endl;
   else if(flag==0) cout <<"No"<<endl;
   return 0;
}
