#include <stdio.h>

int main(void)
{
	char buf[6];
	char *str;
	int a = 0;

	if (scanf("%3c", buf) != 1)
	{
		return 1;
	};
	str = buf;
	while (*str)
	{
		if (*str == '7')
		{
			printf("Yes\n");
			return 0;
		}
		str++;
	}
	printf("No\n");
	return (0);
}