#include<iostream>
#include<string>
using namespace std;
int main() {
	string S;
	cin >> S;
	for (int i = 0; i < S.length(); i++) {
		if (S[i] == '5'&&S[i + 1] == '7'&&S[i + 2] == '5') {
			cout << "YES" << endl;
			return 0;
		}
	}
	cout << "NO" << endl;
}