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