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

int main(void){
  char *S;
  scanf("%s", S);

  printf("%s",strstr(S,"575"));

  if(strstr(S,"575") != NULL)
    printf("YES\n");
  else
    printf("NO\n");

  return 0;
}