#include <bits/stdc++.h>
using ll = long long;
using llu = long long unsigned;

using namespace std;

int main() {
    string S;
    cin >> S;
    size_t pos = S.find("575");
    string result = "NO";
    if (pos != string::npos) { result = "YES"; }
    cout << result << endl;
    return 0;
}