#include<stdio.h>

int main()
{
	int i, success=0, n, a=0;
	scanf("%d", &n);
	while (n != 0) {
		a = n % 10;
		n /= 10;
		if (a == 7) {
			success = 1;
			break;
		}
	}
	if (success == 1)
		printf("Yes");
	else
		printf("No");
}