#include <iostream>
#include <string>
#include <string.h>
using namespace std;
int main(int argc, char* argv[])
{
	string s;
	cin>>s;
	char*p=(char*)s.c_str();
	if (!strstr(p,"575")){
		cout<<"YES"<<endl;
	}else{
		cout<<"NO"<<endl;
	}
	return 0;
}