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