#include "bits/stdc++.h"
using namespace std;

int main() {
	string S;
	bool check = false;
	cin >> S;
	for (int i = 0; i < S.size() - 2; i++) {
		if (S.substr(i, 3) == "575") check = true;
	}
	if (check) cout << "YES";
	else cout << "NO";
}