#include<stdio.h>
#include<math.h>
int main()
{
	int N,digits;
	scanf("%d",&N);
	digits = (int)log10(N);
		if(N%10==7 || ((int)(N / pow(10, digits)))==7 || (N/10)%10==7){
			printf("YES\n");
		}
		else{
			printf("NO\n");
		}
	return 0;
}
