#include <iostream>
#include <string>

int main() {
	std::string S;
	std::cin >> S;
	(int)S.find("575")!=-1 ? std::cout << "YES" << std::endl : std::cout << "NO" << std::endl;
	return 0;
}