#include <stdio.h>
#include <string.h>

int main(){
		char n[4];
		char *adr1;
		scanf("%s", n, 4);
		// 7が含まれているかどうか
		adr1 = strchr(n, (int)'7');
		if (adr1 == NULL) {
			printf("no");
		}
		else {
			printf("yes");
		}
	return 0;
}