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

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