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

template<typename T>
void fin(T a){
  cout<<a<<endl;
  exit(0);
}

signed main(){
  string s;cin>>s;s+="###########";
  for(int i=0;i+3<s.size();i++)
    if(s.substr(i,3)=="575")fin("YES");
  fin("NO");
}