#include<stdio.h>
int main()
{
	int a,n;
	scanf("%d",&a);
	if(a%100==7)
	  printf("Yes");
	else if(a/100==7)
	 printf("Yes");
	 else if((a%100)-(a/100)==7)
	printf("Yes");
	else
	  printf("No");
	  return 0;
}