#include <iostream> #include <string> #include <vector> #include <utility> using namespace std; int main(void){ string s; cin >> s; if(s.find("575")!=string::npos) cout << "YES" << "\n"; else cout << "NO" << "\n"; return 0; }