#include <iostream>
#include <string>

using namespace std;

int main(){
  string s;
  cin >> s;

  if (s.find("575")!=string::npos) 
      cout << "YES" << endl;
  else
      cout << "NO" << endl;
  return 0;
}