#include<iostream>
#include<algorithm>
#include <vector>
#include<cmath>
using namespace std;
typedef long long int lont;
int main() {
	string S;
	cin >> S;
	int Z = S.size();
	int cnt = 0;
	if (Z < 3)cout << "NO" << endl;
	else {
		for (int ia = 0; ia < Z - 2; ia++) {
			if (S.at(ia) == '5' && S.at(ia + 1) == '7' && S.at(ia + 2) == '5') {
				cnt++;
			}
		}
		if (cnt) cout << "YES" << endl;
		else cout << "NO" << endl;
	}
}