#include <bits/stdc++.h>
using namespace std;
int main(){
	string s; cin>>s;
	if(s.find("575")==string::npos) cout << "NO" << endl;
	else cout << "YES" << endl;	
}