#include<iostream>
#include<vector>

using namespace std;
#define repeat(i,n) for(int i=0;i<(n);i++)

int main(){
  
  string s; cin>> s;
  
  if(s.size()<3){ cout<< "NO"<< endl; return 0;}
  repeat(i, s.size()-3){
    if(s[i]=='5' and s[i+1]=='7' and s[i+2]=='5'){
      cout<< "YES"<< endl; return 0;
    }
  }

  cout<< "NO"<< endl;
  return 0;
}