#include <iostream>
#include <algorithm>
#include <cstring>
#include <string>
#include <vector>
#include <queue>
#include <deque>
#include <cmath>

#define AS(a) (sizeof(a)/sizeof(a[0]))
using namespace std;
long long int MOD = 1000000007;
long long int INF = 1000000007;


int main() {
  string S;
  cin >> S;
  bool ans = false;
  for(int i = 0; i < (int)S.length() - 2; i++) {
    if(S[i] == '5' && S[i+1] == '7' && S[i+2] == '5') ans = true;
  }
  if(ans) cout << "YES" << endl;
  else cout << "NO" << endl;
}