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