#include<bits/stdc++.h> //ABC 162_a
int main(){
	int n;
	scanf("%d",&n);
	if(n%10==7){
		printf("Yes\n");
		return 0;
	}
	else if(n%10!=7){
		n=n/10;	
	}
	if(n%10==7){
		printf("Yes\n");
		return 0;
	}
	else if(n%10!=7){
		n=n/10;
	}
	if(n!=7)
		printf("No\n");
	else
		printf("Yes\n");
	return 0;
}