#include <iostream>
#include <string>
using namespace std;

int main(){
    string sent;
    cin >> sent;

    int mark = 0;
    int num = sent.size();
    for(int i = 0; i < num; i++){
        if(sent[i] == '5'){
            if(sent[i+1] == '7'){
                if(sent[i+2] == '5'){
                    cout << "YES" << endl;
                    mark = 1;
                    break;
                }
            }
        }
    }

    if(mark == 0) cout  << "NO" << endl;

    return 0;
}