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

int main() {
	cin.tie(0);
	ios::sync_with_stdio(false);

	string s;
	cin >> s;
	if(s.find("575") != string::npos) cout << "YES" << endl;
	else cout << "NO" << endl;
}