#include<iostream>
#include<string>

using namespace std;

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