#include<bits/stdc++.h>
using namespace std;

int main(){
	string s;
	
	cin>>s;
	if(s.find("575")!=-1) cout<<"YES"<<"\n";
	else cout<<"NO"<<"\n";
	
	return 0;
}