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

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