#include <iostream>
using namespace std;

int main() {
    // input
    string S;
    cin >> S;
    // solve
    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;
        }
    }
    // output
    cout << (flag ? "YES" : "NO") << endl;

    return 0;
}