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

int main(void)
{
	char str[4] = {
		0,
	};
	scanf("%s", str);

	if (str[0] == '7' || str[1] == '7' || str[2] == '7')
		printf("Yes");
	else
		printf("No");

	return 0;
}