#include <bits/stdc++.h> 
using namespace std; 
  
typedef long long int ll;
typedef set <int> se;

int main()
{
	ll n,rem,flag=0;
	cin>>n;
	while(n)
	{
		rem=n%10;
		n=n/10;
		if(rem==7)
		{
			flag=1;
			break;
		}
	}
	if(flag==1)
		cout<<"Yes";
	else
		cout<<"No";
}