#include <bits/stdc++.h>

using namespace std;
typedef long long ll;

// #define DEBUG

int main()
{

#ifdef DEBUG
    cout << "DEBUG MODE" << endl;
    ifstream in("input.txt"); //for debug
    cin.rdbuf(in.rdbuf());    //for debug
#endif

    string s, ans;
    ans = "NO";
    cin >> s;
    int n = s.length();
    for (int i = 0; i < n - 2; i++){
        if (s.substr(i, 3) == "575"){
            ans = "YES"; 
        }
    } 
    cout << ans << endl;
    return 0;
}