#include<bits/stdc++.h>
using namespace std;
int main()

{
	int m,n,i,k,q,sum;
	string p;
	cin>>n;
	p=to_string(n);
	q=p.size();
	for(i=0;i<q;i++)
	{
		if(p[i]=='7')
		{
			cout<<"Yes";
			break;
		}
	}
	if(i==q)
	{
		cout<<"No";
	}
}
