#include<stdio.h>
int main(void) {
	int N;
	int a, b, c, i;
	scanf("%d", &N);
	a = N / 100;
	N = N % 100;
	b = N / 10;
	N = N % 10;
	c = N;
	if (a == 7)
		printf("Yes");
	else if (b==7)
		printf("Yes");
	else if (c==7)
		printf("Yes");
	else
		printf("No");
	return 0;
}