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

int main() {
	string s; cin >> s;
	int n = s.size();
	bool ans = false;
	for(int i = 0; i + 2 < n; ++i) {
		if(s[i] == '5') {
			if(s[i + 1] == '7') {
				if(s[i + 2] == '5') {
					ans = true;
				}
			}
		}
	}
	cout << (ans ? "YES" : "NO") << '\n';
	return 0;
}