#include<stdio.h>

int main(void) {
	char integer[4];
	unsigned char n;
	char YorN = 0;

	//3桁の整数を入力
	scanf("%s", &integer);
	//いずれかの桁に7を含むか調べる
	for (n = 0;n < 3;n++) {
		if (integer[n] == '7') {
			YorN = 1;
		}
	}
	//7が含まれるならYes,含まれないならNoを出力
	if (YorN == 1) {
		printf("\nYes\n");
	}
	else if (YorN == 0) {
		printf("\nNo\n");
	}
	else {}

	return 0;
}