#include <iostream>
#include <string>

using namespace std;

int main() {
	string s;
	cin >> s;
	bool ok = s.find("575") != string::npos;
	cout << (ok ? "YES" : "NO") << endl;
	return 0;
}