#include<iostream>
#include<cstring>
#include<algorithm>
using namespace std;
typedef long long ll;
int main()
{
	int n;
	char str[1005];
	cin>>n;
	sprintf(str,"%d",n);
	int flag=0;
	for(int i=1;str[i];i++)
	{
		if(str[i]=='7')
		{
			flag=1;
			break;
		}
	}
	if(flag) cout<<"Yes"<<endl;
	else cout<<"No"<<endl;
}