#include <iostream>
#include <string>


std::string str;

int main(){
    std::getline(std::cin, str);

    int i = 0;
    while(i < str.size()){
        if(str.substr(i, 3) == "575"){
            std::cout << "YES\n";
            return 0;
        }

        i++;
    }

    std::cout << "NO\n";

    return 0;
}