#define _USE_MATH_DEFINES
#include  <cmath>
#include <cstdio>
#include <vector>
#include <iostream>
#include <algorithm>
#include <string>
#include<math.h>
#include<iomanip>
#include<stdio.h>
#include <stdlib.h>
#include<stdio.h>
#include <queue>
#include<map>
#include <fstream>
#include <sstream>
#include<set>
#include<stack>
#include<time.h>
#include <sys/types.h>
#include <tuple>
#include <numeric>


typedef long long int ll;
//#include<bits/stdc++.h>


using namespace std;





int main()
{

    int Q;
    Q = 1;
    //cin >> Q;

    while (Q--) {
        string p;
        cin >> p;
        if (p.size() < 3) {
            cout << "NO";
            return 0;
        }
        for (int i = 0; i < p.size() - 2; i++) {
            string x = p.substr(i, i + 3);
            if (x == "575") {
                cout << "YES";
                return 0;
            }
        }
        cout << "NO";
    }
    return 0;
}