#include <bits/stdc++.h>
using longlong=long long;

int main(){
    std::cin.tie(nullptr);std::cin.sync_with_stdio(false);
    std::string s;std::cin>>s;
    for(int i=0;i<s.length();i++){
        if(s.substr(i,3)=="575"){
            std::cout<<"YES"<<std::endl;
            return 0;
        }
    }
    std::cout<<"NO"<<std::endl;
}