#include <bits/stdc++.h>
#define FOR(i,bg,ed) for(ll i=(bg);i<(ed);i++)
#define REP(i,n) FOR(i,0,n)
#define MOD 1000000007
#define int long long
using namespace std;
typedef long long ll;
typedef vector<vector<ll>> mat;
const int INF = 1e9;



signed main()
{
    string S;

    cin >> S;
    if (S.find("575") != string::npos) {
        cout << "YES" << endl;
    } else {
        cout << "NO" << endl;
    }
}