#include <fstream>
#include <iostream>
#include <string>

int main() {

	//std::ifstream inf("Text.txt");	std::cin.rdbuf(inf.rdbuf());

	std::string S;
	std::cin >> S;

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

	return 0;
}