#include<bits/stdc++.h> using namespace std; #define int long long signed main(){ string s; cin>>s; if(s.find("575")==string::npos) cout<<"NO"<<endl; else cout<<"YES"<<endl; return 0; }