#include <stdio.h>

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

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