#include <iostream>
using namespace std;

int main() {
	int n,tmp,flag=0;
	cin>>n;
	
	tmp=n/100;
	n=n%100;
	if(tmp==7){
		flag=1;
	}
	
	tmp=n/10;
	n=n%10;
	if(tmp==7){
		flag=1;
	}
	
	tmp=n;
	if(tmp==7){
		flag=1;
	}
	if(flag==1){
		cout<<"Yes"<<endl;
	}else{
		cout<<"No"<<endl;
	}
	// your code goes here
	return 0;
}