#include<bits/stdc++.h>

using namespace std;

int main()
{
  string S;
  cin >> S;
  if(S.find("575") != string::npos) {
    cout << "YES" << endl;
  } else {
    cout << "NO" << endl;
  }
}