#include<bits/stdc++.h>
#define rep(i,n)for(int i=0;i<(n);i++)
using namespace std;

int main() {
	string s; cin >> s;
	if (s.size() < 3) {
		puts("NO"); return 0;
	}
	rep(i, s.size() - 2) {
		if (s[i] == '5'&&s[i + 1] == '7'&&s[i + 2] == '5') {
			puts("YES"); return 0;
		}
	}
	puts("NO");
}