#include<stdio.h>
int main()
{
  int num,temp,factor=1;
  scanf("%d",&num);
  temp=num;
  while(temp)
    {
      temp=temp/10;
      factor = factor*10;
    }
  int c, f=0;
  while(factor>1)
    {
      factor = factor/10;
      c= (num/factor);
      if (c==7)
      {
        printf ("Yes");
        f++;
        break;
      }
      num = num % factor;
    }
  if (f==0)
    printf ("No");

  return 0;

}