#include "bits/stdc++.h"
#define rep(a,b) for(int a = 0;a < b;a++)
#define REP(i, x, n) for(int i = x; i < n; i++)
#define P(a) cout << a << endl
#define MP(a,b) make_pair(a,b)
#define PB(a) push_back(a)
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef vector<int> vi;
int dx[] = { 1, -1 , 0 , 0 };
int dy[] = { 0,  0,  1, -1 };
ll MOD = 1000000007;

void solve() {
    string s;
    cin >> s;
    if(s.length() < 3){
        P("NO");
        return;
    }else if(s.length() == 3){
        if(s == "575"){
            P("YES");
            return;
        }
    }
    rep(i,s.length()-3){
        string sub = s.substr(i,3);
        if(sub == "575") {
            P("YES");
            return;
        }
    }
    P("NO");
}

int main() {
    solve();
    return 0;
}