#include<bits/stdc++.h>
using namespace std;
typedef long long int ll;
typedef pair<ll,ll> pii;
#define fi first
#define se second
#define mod 1000000007
#define ios ios_base::sync_with_stdio(false);cin.tie(NULL);cout.tie(NULL);
#define endl "\n"
int main()
{
	ios;
	ll n,d;
	cin>>n;
	while(n!=0)
	{
		d=n%10;
		if(d==7)
		{
			cout<<"Yes"<<endl;
			exit(0);
		}
		n=n/10;
	}
	cout<<"No"<<endl;
}
