#include <stdio.h>

int	main(void)
{
  	int	N;
  	
  	scanf("%d", &N);
  
  	if(N / 100 == 7)
    {
      	printf("Yes");
      	return (0);
    }
  	if((N / 10) % 10 == 7)
    {
      	printf("Yes");
      	return (0);
    }
  	if(N % 10 == 7)
    {
      	printf("Yes");
      	return (0);
    }
    printf("No");
    return (0);
}