#include<stdio.h>

int digit(int nb){
	int rem;
	
	while(nb!=0){
		rem=nb%10;
		if(rem==7)
			return 1;
		nb/=10;	
	}
	return 0;
}

int main(){
	
	int nb;
	scanf("%d",&nb);
	int check = digit(nb);
	if(check==1)
		printf("Yes\n");
	else
		printf("No\n");	

	return 0;
}


