#include <stdio.h>
#include <string.h>

int main(){

	int  i,j;
	int 	x,y,a,b,c;
	int N,M,A[110];
	long long sum=0;
	scanf("%d",&N);
	
	for(i=0;i<3;i++){
		M = N%10;
		if(M==7){
			printf("Yes\n");
			return 0;
		}
		N/=10;
		
	}
	
	printf("No\n");
 return 0;
 }