#include<bits/stdc++.h>
using namespace std;
main(){
int i,j,k,l,m,n;
while(cin>>n){
   i=0;
   while(n>0){
    if(n%10==7) i++;
        n/=10;
   }
   if(i>0)cout<<"Yes"<<endl;
   else cout<<"No"<<endl;
} return 0;
}
