#include <stdio.h>

int main(void) {
  int N, o, t, s;
  scanf("%d", &N);
  for (int i=0;i<4; i++){
    o = N%10;
    t = N/10%10;
    s = N/100%10;
  }
  if (o == 7 || t == 7 || s == 7)
    printf("Yes");
  else
    printf("No");
  return 0;
}