#include<iostream>
#include<string>
using namespace std;
int main() {
	string s; cin >> s;
	if (s.size() < 3) { cout << "NO\n"; return 0; }
	for (int i = 0; i < s.size() - 2; i++) {
		if (s.substr(i, 3) == "575") {
			cout << "YES\n"; return 0;
		}
	}
	cout << "NO\n";
	return 0;
}