#include <iostream>
#include <vector>
#include <algorithm>
#include <string>
using namespace std;

int main()
{
	string S; cin >> S;
	bool flag = false;
	for (int i = 0; i < (int)S.size() - 2; i++) {
		if (S.substr(i, 3) == "575")flag = true;
	}

	cout << (flag ? "YES" : "NO") << endl;

	return 0;
}