#include<stdio.h>
#include<stdlib.h>
#include<string.h>

int main(){
  int i;
  char buf[101];
  fgets(buf, sizeof(buf), stdin);
  if(buf[1]=='\0' || buf[2]=='\0'){
    printf("NO");
    return 0;
  }
  for(i=0;i+2<sizeof(buf);i++){
    if(buf[i]=='5' && buf[i+1]=='7' && buf[i+2]=='5'){
      printf("YES");
      return 0;
    }
  }
  printf("NO");
  return 0;
}