#include <iostream>
#include <cstdlib>
#include <string>
#include <vector>
#include <algorithm>
using namespace std;
int main(){
    string S; cin >> S;
    for(int i = 0; i < S.size(); i++){
        if(S.find("575") == -1){
            cout << "NO" << endl;
            break;
        }else{
            cout << "YES" << endl;
            break;
        }
    }
    return 0;
}