#include #include #include 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; }