#include<stdio.h>

int main(void)
{
	char sen[4] = {0,0,0,0};
	int i,j;
	j = 0;

	for ( i = 0; i < 3; i++){
		scanf("%c", sen[i],4);
		if (sen[i] ==' 7') {
			j++;
		}
	}
	if (j < 1) {
		printf("No");
	}
	else {
		printf("Yes");
	}

	return 0;
}