void yes(){ cout << "YES" << endl; exit(0); }
void no(){cout << "NO" << endl; exit(0); }

string str;
int i;
{
    cin >> str;
    rep(i,str.size()-2){
        if (str[i] == '5' && str[i+1] == '7' && str[i+2] == '5')
            yes();
    }
    no();
}