#include<iostream>
using namespace std;
int main(){
	
	int N;
	cin>>N;
	while(N>=100&&N<=999){
		int r;
		r=N%10;
		if(r==7){
			cout<<"Yes";
		}
		else{
			cout<<"No";
		}
		N=N/10;
		
	}
	return 0;
}