#include <stdio.h>

int main(void) {
  char input[4];
  int i = 0,j;
  for(;i < 3;i++) {
    scanf("%s", input);
    for(j=0;input[j] != '\0';j++) {
      if(input[j] == '7') {
        printf("yes\n");
        goto endfor;
      }
    }
    printf("no\n");
    endfor:;
  }
  return 0;
}
