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

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