#include<bits/stdc++.h>
using namespace std;
int main()
{
	int n;int flag=0;
	cin>>n;
	while(n!=0)
	{
		if(n%10==7)
		{
			flag=1;
			break;
		}
		n/=10;
	}
	flag?cout<<"Yes"<<endl:cout<<"No"<<endl;
	return 0;
}