#include<stdio.h>
int main(void)
{
	int n;
	scanf("%d",&n);
	if(n%10==7){
		printf("yes\n");
	}
	else {
		n=n/10;
		if(n%10==7){
			printf("yes\n");
		}
		else {
			n=n/10;
			if(n%10==7){
			printf("yes\n");
			}
			else {
				printf("no\n");
			}
		}
	}
	return 0;
}