#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;
}