#include <iostream>
using namespace std;

int main(void)
{
    std::string s;
    cin >> s;
    if(s.find("575") == string::npos)
        cout << "NO" << endl;
    else
        cout << "YES" << endl;

    return 0;
}