#include <bits/stdc++.h>
#define rep(i, n) for (int i = 0; i < n; ++i)
using ll = long long;
using namespace std;
const int INF = 1e9;

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

    bool flag = false;
    rep(i, int(s.size() - 2)) if (strncmp(&s[i], "575", 3) == 0)
        flag = true;

    flag ? cout << "YES" : cout << "NO";
    cout << endl;

    return 0;
}