#include<stdio.h>

int main(){
  char line[10];

  fgets(line,sizeof(line),stdin);

  int i;
  for(i=0;i<3;i++){
    if(line[i]=='7'){
      printf("YES");
      return 0;
    }
  }

  printf("NO");
  return 0;
}
