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