#include <stdio.h>

int main() {
	int slot;
	scanf("%d", &slot);
	
	int rat, pul, sat;
	rat = slot/100;
	pul = (slot - rat*100)/10;
	sat = slot - (pul*10 + rat*100);
	
	if(rat == 7 || pul == 7 || sat == 7){
		printf("Yes");
	}else{
		puts("No");
	}
	
	
	return 0;
}