#include <stdio.h>

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