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

int main(){
	int n,k;
	cin>>n;
	
	while(n!=0){
		k=n%10;
		if(k==7)
		{
			cout<<"Yes"<<endl;
			return 0;
		}	
		else
			n/=10;	
	} 
	
	cout<<"No"<<endl;
	return 0;
}