#include <stdio.h>

int main()
{
  int nn;
  scanf("%d", &nn);
  if(nn / 100 == 7)
  {
    printf("Yes\n");
    return 0;
  }
  nn = nn - (nn / 100) * 100;
  if(nn / 10 == 7)
  {
    printf("Yes\n");
    return 0;
  }
  nn = nn - (nn / 10) * 10;
  if(nn == 7)
  {
    printf("Yes\n");
    return 0;
  }
  printf("No\n");
  return 0;
}