#include <bits/stdc++.h>

using namespace std;
typedef long long ll;

#define REP(i,n) for(int i=0;i<n;++i)
#define SORT(name) sort(name.begin(), name.end())
#define ZERO(p) memset(p, 0, sizeof(p))
#define MINUS(p) memset(p, -1, sizeof(p))

#define MOD 1000000007
#define INF 1000000000

string S;
int main()
{
    cin >> S;
    if(S.length() < 3) {
        printf("NO\n");
        return 0;
    }
    REP(i, S.length() - 2) {
        if(S[i] == '5' && S[i+1] == '7' && S[i+2] == '5') {
            printf("YES\n");
            return 0;
        }
    }
    printf("NO\n");
    return 0;
}