#include <cmath>
#include <vector>
#include <list>
#include <map>
#include <set>
#include <functional>
#include <queue>
#include <iostream>
#include <string.h>
#include <iomanip>
#include <algorithm>
#include <functional>
#include <cstdint>
#include <climits>
#include <unordered_set>
#include <sstream>
#include <stack>

using namespace std;

typedef long long int ll;
typedef pair<int,int> pii;
typedef tuple<ll,ll,ll> t3;

using namespace std;

map<char, set<char>> g;
map<char, int> color;

int main()
{
    string s;
    cin >> s;
    vector<char> ss;
    for(int i = 0;i < s.length();i++)
    {
        int a = (int)ss.size();;
        if(a == 1)
        {
            if(s[i] == '7')
            {
                ss.push_back(s[i]);
            }
            else
            {
                ss.clear();
            }
        }
        else if(a == 2)
        {
            if(s[i] == '5')
            {
                cout << "YES" << endl;
                return 0;
            }
            else
            {
                ss.clear();
            }
        }
        else
        {
            if(s[i] == '5')
            {
                ss.push_back(s[i]);
            }
            else
            {
                ss.clear();
            }
        }
    }
    cout << "NO" << endl;
    return 0;
}