#include <iostream>
#include <string>
using namespace std;
int main(){
    string S;
    cin >> S;
    for(int i = 1; i < S.size() - 1; i++){
        if(S.size() == 1 || S.size() == 2 ||i == S.size() - 2){
            cout << "No" << endl;
        }
        if(S[i-1] == '5' && S[i] == '7' && S[i+1] == '5'){
            cout << "Yes" << endl;
            break;
        }   
    }
return 0;
}