#include<bits/stdc++.h>
using namespace std;
#define ll long long int
#define vr vector
#define pb push_back


 int main()
 {
std::ios::sync_with_stdio(false); cin.tie(NULL);
//ll t;
//cin>>t;
//while(t--)
{

ll n,k=0;
cin>>n;
while(n)
{
    ll p=n%10;
    if(p==7)
        k=1;
    n/=10;
}
if(k==1)
    cout<<"Yes";
else
    cout<<"No";

   cout<<endl;

}
    return 0;
}



