#include <stdio.h>

int main(){
	
	char n[1005];
	scanf("%[^\n]",n); getchar();
	
	for(int i=0;n[i]!='\0';i++){
		
		if(n[i]!='7'){
			
		}else if(n[i]=='7'){
			printf("YES");
			break;
		}
	}
	
	
	
	return 0;
}