#include<iostream>
#include<math.h>
#include<string.h>
#include<vector>
#include<algorithm>
#include<iomanip>
#include<deque>
#include<map>
#include<stdio.h>
using namespace std;

int main(){
	cin.tie(0);
	ios::sync_with_stdio(false);
	
	string s;
	getline(cin,s);
	if(s.size()<3){
		cout << "NO" << endl;
		return 0;
	}
	for(int i=0;i<s.size()-2;i++){
		if(s[i]=='5' && s[i+1]=='7' && s[i+2]=='5'){
			cout << "YES" << endl;
			return 0;
		}
	}
	cout << "NO" << endl;
	return 0;
}