#include <stdio.h>
#include <stdlib.h>
#include <math.h>

int main(void) {

	char N[3];
	int i=0;

	scanf("%s", N);

	while(N[i]!=NULL){
		if(N[i]=='7'){
			break;
		}
		i++;
	}

	if(N[i]=='7'){
		printf("Yes");
	}
	else{
		printf("No");
	}

	return 0;
}

