#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<int,int> pii;
#define pb push_back
#define mp make_pair
#define rep(i,n) for(int i=0;i<(n);++i)

int main(){
	cin.tie(0);
	ios::sync_with_stdio(false);
	string s;cin >> s;
	int n=s.size();
	string t="575";
	rep(i,n-2){
		if(s.substr(i,3)==t){
			cout << "YES" << endl;
			return 0;
		}
	}
	cout << "NO" << endl;
}