#include <bits/stdc++.h>
#define rep(i,n) for(int i = 0; i < (n); i++)
using namespace std;
typedef long long ll;

int main(){
    cin.tie(0);
    ios::sync_with_stdio(0);

    string s; cin >> s;
    if(s.size() <= 2){
        cout << "NO" << endl;
        return 0;
    }
    rep(i,s.size()-2){
        if(s[i] == '5' && s[i+1] == '7' && s[i+2] == '5'){
            cout << "YES" << endl;
            return 0;
        }
    }
    cout << "NO" << endl;
}