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

#define rep(i,l,n) for(int (i)=(l);(i)<(n);(i)++)
#define min(a,b) (a)<(b)?(a):(b)
#define max(a,b) (a)>(b)?(a):(b)
#define abs(a) (a)>0?(a):-(a)
#define llong long long

int main(){
	int N; scanf("%d",&N);
	int flag = 0;
	rep(i,0,3){
		if( N%10 == 7 ) flag = 1;
		N /= 10;
	}
	if( flag ) printf("Yes");
	else printf("No");
	return 0;
}
