#include <iostream>
#include <stdio.h>
#include <algorithm>
#include <vector>
#include <cmath>
#include <string>
#include<sstream>
#include <queue>
#include <limits>
#include <cstdlib>
#include <deque>
#include <map>

using namespace std;

int main() {

	string s;
	cin>>s;

	if(s.find("575" ) != string::npos){
		cout<<"YES"<<endl;
	}else {
		cout<<"NO"<<endl;
	}

	return 0;
}