#include "bits/stdc++.h"
using namespace std;

int main(){
string s;
cin >>s;
bool ans =false;
for(int i=2;i<s.size();i++){
    if(s.at(i-2)=='5'&&s.at(i-1)=='7'&&s.at(i)=='5'){
        ans =true;
        break;
    }
}
if(ans)cout <<"YES"<<endl;
else{
    cout <<"NO"<<endl;
}
}