#include <stdio.h>

char S[100 + 1];

int main() {
  scanf("%s", S);
  int slen = strlen(S);
  int ans = 0;
  for (int i = 0; i + 3 <= slen; ++i) {
    if (S[i] == '5' && S[i + 1] == '7' && S[i + 2] == '5') {
      ans = 1;
    }
  }
  if (ans) puts("YES");
  else puts("NO");
  return 0;
}