#include <stdio.h>

int main(void)
{
  char num[5];
  scanf("%s", num);
  
  for (int i = 0; i < 3; i++)
  {
    if (num[i] == '7')
    {
      printf("Yes\n");
      return 0;
    }
  }
  printf("No\n");
  return 0;
}
