#include <bits/stdc++.h>
#define REP(i,n,N) for(int i=(n);i<(int) N;i++)
#define RREP(i,n,N) for(int i=N-1;i>=(int) n;i--)
#define p(s) cout<<(s)<<endl
#define DEBUG(x,y) cout<<#x<<": "<<x<<" , "<<#y<<": "<<y<<endl;
#define CK(n,a,b) ((a)<=(n)&&(n)<(b))
#define F first
#define S second
typedef long long ll;
using namespace std;
const ll mod=1e9+7;

int main(){
	string s;
	cin>>s;
	string ans="NO";
	REP(i,0,s.size()-2){
		if (s.substr(i,3)=="575"){
			ans="YES";
		}
	}
	p(ans);
	return 0;
}