
#include <stdio.h>
#include <ctype.h>
#include <string.h>


int main() {
	int N;
	scanf("%d", &N);
	int t;
	while (1) {
		if (N / 100 == 7) {
			printf("Yes");
			
			break;
		}
		else {
			t = N / 100;
			N = N - 100 * t;
		}
		if (N / 10 == 7) {
			printf("Yes");
			break;
		}
		else {
			t = N / 10;
			N = N - 10 * t;
		}
		if (N == 7) {
			printf("Yes");
			break;
		}
		else {
			printf("No");
			break;
		}
	}
	return 0;
}