#include <stdio.h>

int main(int argc, char const *argv[])
{
	int N;
	//N = 115;
	int count=0;
	for (int i = 0; i < 3; i++){
		int check = N % 10;
		
		if (check == 7){
			printf("YES\n");
			count++;
			//break;
		}
		N=N/10;
		// printf("%d\n",N);
		// printf("%d\n\n",check);
	}
	if (count==0){
		printf("NO\n");
	}


	return 0;
}