#include <stdio.h>

int main(){
	int n,x,x1,x2,x3,flag=0;
	
	scanf("%d",&n);
	
	//10で割った余りがx桁目
	x1 = n % 10;
	if(x1 == 7)	flag =1;
	
//		x = n / 10;
//		printf("%d\t",x);

	
	x2 = x % 10;
	if(x2 == 7)	flag =1;
	
//		x = x / 10;
//		printf("%d\t",x);

	
	x3 = x %10;
	if(x3 == 7)	flag =1;
	
	if(flag==1){
		printf("Yes");
	}
	else printf("No");
	
	return 0;
}
