#include<stdio.h>

int main() {
	int n, nd[3], f = 0;
	scanf("%d", &n);
	for (int i = 0; i < 3; i++) {
		nd[i] = n % 10;
		n = n / 10;
	}
	for (int i = 0; i < 3; i++) {
		if (nd[i] == 7) {
			f = 1;
		}
	}
	if (f == 1) {
		printf("Yes");
	}
	else {
		printf("No");
	}
}