#include<stdio.h>
int main()
{
int x;
  
  int a=0,flag=0;
  scanf("%d",&x);
  for(int i=0;x!=0;i++)
    {
    a=x%10;
  if(a==7)
    {
  break;
    flag=1;
  }
    x=x/10:
  }
  if(flag==1)
    printf("Yes");
  else
    printf("No");
      
}
