#include<bits/stdc++.h>
typedef long long ll;
using namespace std;
int INF = 1e9;
int MOD = 1e9+7;
main(){
    string s;
    cin >> s;
    if(s.length() < 3){cout << "NO" << endl;return 0;}
    for(int i = 0;i < s.length()-2;i++){
        string sub = s.substr(i,3);
        if(sub == "575"){cout << "YES" << endl;return 0;}
    }
    cout << "NO" << endl;
}