#include<bits/stdc++.h>
#define REP(i,a,b) for(int i=(a);i<(b);i++)
#define rep(i,n) REP(i,0,(n))
using namespace std;
using ll = long long;

int main() {
    string S;
    cin >> S;
    string ans = "NO";
    rep(i, S.size() - 2) {
        if (S[i] == '5' && S[i+1] == '7'&& S[i+2] == '5') {
            ans = "YES";
        }
    }
    cout << ans << endl;
    return 0;
}