#include <stdio.h>

int main(void)
{
	int N;

	scanf("%d", &N);

	if ( (N/100 == 7) || ((N-(N/100)*100)/10 == 7) || (N-(N/10)*10) == 7) ) {
		printf("Yes\n");
	} else {
		printf("No\n");
	}

	return 0;
}