#include <bits/stdc++.h>
 
using namespace std;

int main(void)
{
    cin.tie(0);
    ios::sync_with_stdio(false);

    string s;

    cin >> s;

    if(s.length() < 3)
    {
        cout << "NO" << '\n';
    }
    else
    {
        int n = s.length();
        for(int i=0;i<n;i++)
        {
            if(s.substr(i,3)=="575")
            {
                cout << "YES" << '\n';
                return 0;
            }
        }
        cout << "NO" << '\n';
    }
    return 0;
}