#include <iostream>
#include <string>

int main() {
    std::string s;
    std::cin >> s;
    if (s.find("575") != -1) {
        std::cout << "YES" << std::endl;
    } else {
        std::cout << "NO" << std::endl;
    }
}