#include <iostream>
#include <vector>
#include <algorithm>
#include <string>

#define REP(i, a, b) for (int i = int(a); i < int(b); i++)

using namespace std;

typedef long long int lli;

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