#include <stdio.h>
#include <math.h>

int main()
{
	int N = 0;
	scanf("%d", &N);

	for (int i = 0; i++; i < 3)
	{
		int a = pow(10, i);
		if (N % a == 7)
		{
			printf("Yes\n");
			return 0;
		}
	}

	printf("No\n");
}