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

int main()
{
    string N;
    cin >> N;
    if(N.find("575")!=string::npos) {
        cout <<"Yes" << endl;
    }else {
        cout << "No" << endl;
    }
}