#include<bits/stdc++.h>
using namespace std;
int main(){
    string st;
    cin>>st;
    for(int i=0;i+2<st.length();i++){
        if(st[i]=='5'&&st[i+1]=='7'&&st[i+2]=='5'){
            cout<<"YES"<<endl;
            return 0;
        }
    }
    cout<<"NO"<<endl;
    return 0;
}