#include <iostream>
#include <string>
#include <cstring>
#include <vector>

using namespace std;

int main()
{
	char S[200];
	cin >> S;

	if( strstr( S, "575" ) ) {
		cout << "YES" << endl;
	}
	else {
		cout << "NO" << endl;
	}

	return 0;


}