#include<bits/stdc++.h>
using namespace std;
long long int pf(long long int n)
{long long int ans=0;
    while(n%2==0){ans++;n/=2;}
    for(long long int i=3;i<=sqrt(n);i+=2)
    {
        while(n%i==0){ans++;n/=i;}
    }
    if(n>2)
        ans++;
    return ans;
}
int main()
{ios_base::sync_with_stdio(false);
//cin.tie(NULL);
   long long int n,sum=0,curr_sum=0,ans=0,t;
   cin>>n;
   
   while(n!=0)
   {
    if(n%10==7)
        ans=1;
    n/=10;
   }
   if(ans)
    cout<<"Yes";
   else
    cout<<"No";
}
