#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; int main() { int i, j, k; string s; cin >> s; if (s.find("575") != string::npos) { cout << "YES" << endl; } else { cout << "NO" << endl; } getchar(); getchar(); return 0; }