#include<iostream>
#include<vector>
#include<string>
using namespace std;
int main(){
    unsigned long long N,n,sum1=0;
    string s;
    cin >> s;
    if(s.find("575")!=string::npos){
        cout << "YES";
    }
    else{
        cout << "NO";
    }
    return 0;
}