#include<stdio.h>

int main(void)
{
	char sen[3];
	int i,j;

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

	return 0;
}