#include "bits/stdc++.h"

using namespace std;


static long long dp[3] = {0, 1};

static void solve()
{
  string str;
  cin >> str;
  for(int i = 3; i <= str.size(); i++) {
    if(str.substr(i - 3, 3) == "575") {
      cout << "YES\n";
      return;
    }
  }
  cout << "NO\n";
}

int main()
{
  ios::sync_with_stdio(false);
  cin.tie();
  solve();
}