#include #include #include #include #include #include #include #include #include #include #include #define FOR(i, a, b) for(int i=(a);i<=(b);i++) #define RFOR(i, a, b) for(int i=(a);i>=(b);i--) #define MOD 1000000007 using namespace std; int main(void) { string s; cin >> s; if (s.find("575") != -1) { cout << "YES" << endl; } else { cout << "NO" << endl;; } return 0; }