#include <stdio.h>

int main (void)
{

  char a=0,b=0,c=0;
  
  scanf("%c %c %c",&a,&b,&c);
  
  if(a!=char'7')
  {
  	if(b!=char'7')
  	{
    	if(c!=char'7')
        {
        	printf("No");
        }
      	else
        {
        	printf("Yes");
        }
    }
    else
    {
    	printf("Yes");
    }
  }
  else
  {
  	printf("Yes");
  }
  return 0;
}