#include<stdio.h>

int main()
{
  int v,i,n;
   scanf("%d",&n);
  v=0; 
  for(i=0;n>0;i++)
   {
      if(n%10==7)
      { 
        v++;
        printf("Yes");
        break;
       
       }
      n=n/10;
   }
  if(v==0)
  {
     printf("No\n");
  }
}