#include<stdio.h>

int main(){
	char a,b,c;
	int x,y,z;

	scanf("%c%c%c",&a,&b,&c);

	x = a - '0';
	y = b - '0';
	z = c - '0';

	if(x == 7){
		printf("Yes");
	}
	else if(y == 7){
		printf("Yes");
	}
	else if(z == 7){
		printf("Yes");	
	}
	else{
		printf("No");
	}

	return 0;
}
