#include<iostream>
#include<string>
using namespace std;

int main()
{
    string s;
    cin>>s;
    int flag=0;
    for(int i=0; i<s.length(); i++) {
        if(flag==0&&s[i]=='5') {
            flag++;
        }
        else if(flag==1&&s[i]=='7') {
            flag++;
        }
        else if(flag==2&&s[i]=='5') {
            flag++;
            break;
        }
        else {
            flag=0;
        }
    }
    if(flag<3){ cout << "NO" << endl; }
    else if(flag==3) { cout << "YES" << endl; }
    return 0;
}