#include<iostream>
#include<string>
#include<vector>
#include<algorithm>
#include<map>
#define all(x) x.begin(),x.end()
#define pb push_back
#define ll long long 
#define P pair<int,int>
#define LP pair<ll,ll>
using namespace std;
int main() {
	bool f = 0;
	string s;
	cin >> s;
	for (int i = 0; i < s.size()-2; i++) {
		if (s[i] == '5' and s[i + 1] == '7' and s[i + 2] == '5') {
			f = 1;
		}
	}
	if (f) cout << "YES" << endl;
	else cout << "NO" << endl;
	return 0;
}