#include <iostream>
#include <vector>
#include <algorithm>

using namespace std;


int main() {
  std::cin.tie(0);
  std::ios::sync_with_stdio(false);

  string S;
  string sub = "575";
  cin >> S;

  for(int i=0;i<S.size()-sub.size()+1;i++){
    bool flag = true;
    for(int j=0;j<sub.size();j++){
      if(S[i+j] != sub[j]){
	flag = false;
	break;
      }
    }
    if(flag){
      cout << "YES" << endl;;
      return 0;
    }
  }

  cout << "NO" << endl;

  return 0;
}