#include <bits/stdc++.h>
using namespace std;
string s;
int main() {
	cin >> s;
	bool flag = false;
	for(int i = 2; i < s.size(); i++) {
		if(s[i] == '5' && s[i - 1] == '7' && s[i - 2] == '5') {
			flag = true;
		}
	}
	cout << (flag ? "YES" : "NO") << endl;
	return 0;
}