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

#define MIN(a,b) ((a)<(b)?(a):(b))
#define MAX(a,b) ((a)>(b)?(a):(b))

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