#include <iostream>
#include <string>

int main() {
	std::string str;
	std::getline(std::cin, str);
	!(int)str.find("575") ? std::cout << "YES" << std::endl : std::cout << "NO" << std::endl;
	return 0;
}