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

int main(void){
  int i;
  char S[101], s[4];
  int flag = 0;
  scanf("%s", S);
  for(i = 0; S[i+2] != '\0'; i++){
    s[0] = S[i];
    s[1] = S[i+1];
    s[2] = S[i+2];
    s[3] = '\0';
    if(strcmp(s, "575") == 0)flag = 1;
  }
  if(flag == 1) printf("YES\n");
  else printf("NO\n");
  return 0;
}