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

int main(){
  string s;
  cin>>s;
  int len=s.length();
  for(int i=0;i<len-2;i++){
    if(s.at(i)=='5' && s.at(i+1)=='7' && s.at(i+2)=='5'){
      cout<<"YES"<<endl;
      return 0;
    }
  }
  cout<<"NO"<<endl;
  return 0;
}