#include <bits/stdc++.h>
#define rep(i,n) for(int (i)=0;(i)<(n);(i)++)
using namespace std;
int main(){
  string s;
  cin >> s;
  if(s.find("575")!=std::string::npos){
    cout << "YES" << endl;
  }else{
    cout << "NO" << endl;
  }
  return 0;
}