#include <stdio.h>
#include <stdlib.h>
#include <math.h>
#include <limits.h>
#include <string.h>
#define ll long long



int main()
{
  char ch[3];
  scanf("%s",ch);

  for (int i = 0; i<3;i++)
  {
  if (ch[i]=='7'){printf("Yes");
  return 0;}

  }
  printf("No");
    return 0;

}
