#include <stdio.h>

int main(void)
{
	int lucky;
	int seven;

	scanf("%d", &lucky);
	seven = lucky / 100 % 10;
	if (seven == 7)
	{
		printf("Yes\n");
		return (0);
	}
	seven = lucky / 10 % 10;
	if (seven == 7)
	{
		printf("Yes\n");
		return (0);
	}
	seven = lucky % 10;
	if (seven == 7)
	{
		printf("Yes\n");
		return (0);
	}

	printf("No\n");
	return (0);
}
