#include <stdio.h>
int main (void)
{
  int n, x, y, z;
  scanf("%d", &n);
  x = n / 100;
  y = (n - 100 * x) / 10;
  z = n - 100 * x - 10 * y;
  if ( x == 7 || y == 7 || z == 7)
  {
    printf("Yes");
  }
  else{
    printf("No");
  }
  return 0;
}