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

int main(void){
	char N[3];
	for(int i=0;i<3;i++){
		scanf("%c",&N[i]);
	}
	printf("\n");

	for(int i=0;i<3;i++){
		if(N[i] =='7'){
			printf("Yes");
			return 0;
		}
	}
	printf("No");
    return 0;
}
