#include <iostream>
#include <string>
using namespace std;
int main ()
{
	int n,temp;
	bool lucky=false;
	cin>>n;
	while(n)
	{
		
		temp=n%10;
		//cout<<temp<<endl;
		if(temp==7)lucky=true;
		n/=10;
		
	}
	if(lucky)cout<<"Yes";
	else cout<<"No";
}