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

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