#include <iostream>
#include <string>
using namespace std;
string YES="YES";
string NO="NO";
int main(){
    string s;
    cin>>s;
    // string::size_type pos=s.find('5');
    // if(pos!=string::npos&&s.find('7')!=string::npos){
    //     s[pos]='.';
    //     if(s.find('5')!=string::npos){
    //         cout<<YES<<endl;return 0;
    //     }
    // }
    if(s.find("575")!=string::npos) {cout<<YES<<endl;return 0;}
    cout<<NO<<endl;
}