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