#include <stdio.h>
int main() {
  char input[4], *p;
  scanf("%s", &input);
  for(p = &input;*p != '\0';p++) {
    if(*p == '7') {
      printf("Yes\n");
      return 0;
    }
  }
  printf("No\n");
  return 0;
}