#include<bits/stdc++.h>
#define rep(i, x) for(ll i = 0; i < x; i++)
#define rep2(i, x) for(ll i = 1; i <= x; i++)
#define all(a) (a).begin(),(a).end()
using ll = long long;
using ld = long double;
const ll INF = 10000000000000000;
using namespace std;
signed main() {
    string s; cin >> s; ll n = s.size();
	rep(i, n - 2) {
		if (s[i] == '5' && s[i + 1] == '7' && s[i + 2] == '5') { cout << "YES\n"; return 0; }
	}
	cout << "NO\n";
	return 0;
}