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