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

#define ll long long
#define endl "\n"
#define FAST ios_base::sync_with_stdio(false); cin.tie(NULL);
#define M 1000000007

void solve()
{
	ll n,r;
	cin>>n;
	while(n)
	{
		r=n%10;
		n=n/10;
		if(r==7) 
		{
			cout<<"Yes";
			return;
		}
	}
	cout<<"No";
}

int main() 
{
	FAST
	ll t=1;	
	//cin>>t;
	for(ll i=0;i<t;i++) solve();
	return 0;
}
    