#include <stdio.h>

int main() {

	int input, digit;

	scanf("%d", &input);

	digit = input % 10;
	if(digit == 7) {
		printf("Yes\n");
		return 0;
	}

	digit = (input % 100 - input % 10) / 10;
	if(digit == 7) {
		printf("Yes\n");
		return 0;
	}

	digit = (input % 1000 - input % 100) / 100;
	if(digit == 7) {
		printf("Yes\n");
		return 0;
	}

	printf("No\n");
	return 0;
}
