#include <stdio.h>
#include <string.h>

int		main(void)
{
	char N[4];
	int i = -1;

	scanf("%s", N);
	while (N[++i] && i < 4)
	{
		if (*N == '7')
		{
			printf("Yes\n");
			return (0);
		}
	}
	printf("No\n");
	return (0);
}