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

int main(int argc, const char* argv[])
{
	char inputN[10];
	scanf("%s", &inputN);

	long len = strlen(inputN);
	int hasSeven = 0;

	for (int i = 0; i < len; i++)
	{
		if (inputN[i] == '7')
		{
			hasSeven = 1;
			break;
		}
	}

	if (hasSeven == 1)
	{
		printf("Yes \n");
	}
	else
	{
		printf("No \n");
	}

	return 0;
}
