#include <stdio.h>

int main(void) {
	char input[100];
	int i,j,flag = 0;
	for(i=0;i < 15;i++) {
		flag = 0;
		scanf("%s", input);
		for(j=0;input[j] != '\0';j++) {
			if(input[j] == '7') {
				printf("Yes\n");
				flag = 1;
			}
		}
		if(flag == 0) printf("No\n");
	}
	return 0;
}
