#include #define rep(i, x) for(ll i = 0; i < x; i++) #define rep2(i, x) for(ll i = 1; i <= x; i++) #define all(a) (a).begin(),(a).end() using ll = long long; using ld = long double; const ll INF = 10000000000000000; using namespace std; signed main() { string s; cin >> s; ll n = s.size(); rep(i, n - 2) { if (s[i] == '5' && s[i + 1] == '7' && s[i + 2] == '5') { cout << "YES\n"; return 0; } } cout << "NO\n"; return 0; }