#include <stdio.h>
#include <stdlib.h>
#include <math.h>

int main(void)
{
  int X;
  scanf("%d",&X);

  for(i=0;i<3;i++)
  {
    if(X%10 == 7)
    {
      printf("Yes\n");
      break;
    }
    else
    {
      X /= 10;
    }

    if(i==2)
    {
      printf("No\n");
    }
  }

  return 0;
}