#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define endl "\n"

int main() {
    string S;
    cin >> S;

    bool flag = false;
    if (S.length() < 3) {
        cout << "NO" << endl;
        return 0;
    }
    for (int i = 0; i < S.length() - 2; ++i) {
        if (S[i] == '5' && S[i + 1] == '7' && S[i + 2] == '5') {
            flag = true;
            break;
        }
    }

    cout << (flag ? "YES" : "NO") << endl;
    return 0;
}