#include <stdio.h>

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