#include <iostream>
#include <string>
using namespace std;
int main(){
string St;
cin>>St;
string::size_type pos = St.find("575");
if(pos==string::npos)
	cout<<"NO";
else
	cout<<"YES";
return 0;
}