#include<stdio.h>

int main(void){
	
	int i;
	scanf("%d", &i);
	
	if(i % 10 == 7)
		puts("Yes");
		
	else if(i / 10 % 10 == 7)
		puts("Yes");
		
	else if(i / 100 == 7)
		puts("Yes");
	
	else
		puts("No");
	
	return 0;
}