#include <stdio.h>

int main(){
	
	char n[1000];
	scanf("%[^\n]",n);
	
	for(int i=0;n[i]!='\0';i++){
		
		if(n[i]>='7' && n[i]<='7'){
			printf("YES");
		}
	
	}
	printf("NO");
	
	
	
	
	
	
	return 0;
}