#include <bits/stdc++.h>
#define int long long 
using namespace std;

signed main() {
string S;
cin >> S;

for( int i = 0; i < S.size(); i++ ){
if( S.substr(i, 3) == "575" ){
cout << "YES" << endl;
return 0;
}
}

cout << "NO" << endl;


}