#include <stdio.h>

int main(void) {
  char s[5];
  scanf("%s", s);

  int ans = 0;
  for (int i = 0; i < sizeof(s); i++) {
    if (s[i] == '7') {
      ans = 1;
    }
  }

  if (ans) {
    printf("Yes\n");
  }
  else {
    printf("No\n");
  }

  return 0;
}
