#include <stdio.h>


int main(){
	char n[3];
	int i;
	for(i=0;i<3;++i){
		scanf("%c",&n[i]);
	}
	
	if(n[0] == '7' || n[1] == '7' || n[2] == '7'){
		puts("Yes");
	}else{
		puts("No");
	}
	
	return 0;
}