#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#define lop(i, n) for(i=0; i<n; i++)

int main()
{
	int n, i, cnt=0;
	char str[999];
	
	scanf("%d", &n);
	
	itoa(n, str, 10);
	
	lop(i, n){
		if(str[i] == '7' )cnt++;
	}
	
	if(cnt>0)printf("Yes");
	else printf("No");
	
return 0;
}