#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;
}