#include <bits/stdc++.h>
using namespace std;
int main() {
  string s;
  cin >> s;

  cout << (~s.find("575") ? "YES" : "NO") << endl;
}