#include <bits/stdc++.h>
using namespace std;

int main(){
	ios::sync_with_stdio(false);
	cin.tie(0);  
	string s; cin >> s;
	int n = s.size();
	for(int i = 0; i <= n - 3; i++) {
		if(s.substr(i, 3) == "575") {
			puts("YES");
			return 0;
		}
	}
	puts("NO");
	return 0;	
}