#include <stdio.h>

int main (void)
{

  int N=0,a=0,b=0,c=0;
  
  scanf("%d",&N);
  
  a=N/100;
  
  b=(N-100*a)/10;
    
  c=N-100*a-10*b;
  
  if(a!=7)
  {
  	if(b!=7)
  	{
    	if(c!=7)
        {
        	printf("No");
        }
      	else
        {
        	printf("Yes");
        }
    }
    else
    {
    	printf("Yes");
    }
  }
  else
  {
  	printf("Yes");
  }
  return 0;
}