#include #include #include #include #include #include #include #include #include #include #include #include using namespace std; typedef long long ll; #define MOD 1000000007 int main() { string s; cin >> s; int n = s.size(); bool ok = false; for (int i = 0; i + 2 < n; ++i) { if (s.substr(i, 3) == "575") ok = true; } cout << (ok ? "YES" : "NO") << endl; return 0; }