#include<bits/stdc++.h>
using namespace std;
bool ok;
int main()
{
	int n;
	cin>>n;
	while(n)
	{
		if(n%10==7)
		{
			ok=true;
		}
		n/=10;
	}
	if(ok)
	{
		cout<<"Yes"<<endl;
	}
	else
	{
		cout<<"No"<<endl;
	}
	return 0;
}