#include <iostream>
#include <string>
#include <algorithm>
using namespace std;

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