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

int main()
{
	int n;
	cin>>n;
	int x=0;

	while(n)
	{
		if(n%10==7)
		{
			x=1;
			break;
		}
		n=n/10;
	}

	if(x==0)
		cout<<"No";
	else cout<<"Yes";
	return 0;
}