#include <iostream>
#include <string>
int main() {
	std::string S;
	std::cin >> S;
	bool Flag = false;
	for (int i = 0; i < S.size(); i++) {
		if (S.substr(i, 3) == "575") {
			Flag = true;
		}
	}
	if (Flag == true)std::cout << "YES" << std::endl;
	if (Flag == false)std::cout << "NO" << std::endl;
	return 0;
}