#include<stdio.h>

int main(void) {
	char acNumber[4];
	unsigned char i;
	char cYorN = 0;

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

	return 0;
}