#include <stdio.h>
#include <stdlib.h>

int main(void){
    int a,b,c,N;

    scanf("%d",&N);
    a = N%10;
    b = ((N-a)/10)%10;
    c = (N - a - b)/100;

	if(a == 7 || b == 7 || c == 7){
    	printf("Yes");
	}else{
		printf("No");
	}
	
    return 0;
}