#include <iostream>
using namespace std;
 
int main(){
	string S;
	cin >> S;
	for(int i = 0; i < int(S.size()) - 2; i++){
		if(S[i] == '5' && S[i + 1] == '7' && S[i + 2] == '5'){
			cout << "YES" << endl;
			return 0;
		}
	}
	cout << "NO" << endl;
}