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

int main(void){
	int n;

	scanf("%d",&n);
	if(n%10==7){
		printf("Yes");
	}else{
		n=n/10;
		if(n%10==7){
			printf("Yes");
		}else{
			n=n/10;
			if(n==7){
				printf("Yes");
			}else{
				printf("No");
			}
		}

	}
	return 0;
}
