#include <iostream>
#include <math.h>
#include <cstdio>
#include <algorithm>
#include <string>
#include <string.h>
using namespace std;

const int MAX_N=10000;
string s;

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