#include<iostream>
#include<string>
using namespace std;
int main(){
  string s;
  cin >> s;
  int pos;
  pos = s.find("575");
  if(pos != std::string::npos){
    cout << "YES\n";
  }
  else{
    cout << "NO\n";
  }
}