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