#include <bits/stdc++.h>
#define INF 990000000
//6
using namespace std;

int main() {

string s;
cin>>s;

if(s.find("575")!=string::npos){
cout <<"YES"<<endl;
}else{
cout <<"NO"<<endl;

}

}