#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)

int main() {
	string s;
	std::cin >> s;
	if (s.find("575") != string::npos){
		std::cout << "YES" << '\n';
	}  else std::cout << "NO" << '\n';

}