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