#include <bits/stdc++.h>
using namespace std;
typedef long long ll;

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