#include <iostream>
#include <cstring>
#include <algorithm>
using namespace std;
#define ll long long 

int main(){
  string N;
  cin >> N;
  if(N.size()<3) {
    cout << "NO" << endl;
    return 0;
  }
  for(ll i =0;i<N.size()-2;i++){
    if(N.substr(i,3) =="575") {
      cout << "YES" << endl;
      return 0;
    }
  }
  cout << "NO" << endl;
  return 0;
}