#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <string>
#include <sstream>
#include <complex>
#include <algorithm>
#include <functional>
#include <vector>
#include <stack>
#include <queue>
#include <set>
#include <map>
#include <cmath>
#include <cassert>
#include <fstream>
#define REP(i,n) for(int i=0;i<n;i++)
#define FOR(a,b) for(:a<b;a++)
#define SSTR( x ) static_cast< std::ostringstream & >( \
        ( std::ostringstream() << std::dec << x ) ).str()
#define ALL(s) (s).begin(), (s).end()
using namespace std;
typedef long long unsigned int llu;
typedef long long ll;

int main (){
  string s;
  bool b;
  while (cin >> s){
    b = false;
    REP(i,s.size()){
      if(i < s.size() - 2 &&s[i] == '5'){
	if(s[i+1] == '7'){
	  if(s[i+2] == '5'){
	    b = true;
	  }
	}
      }
    }
    if(b) cout << "YES" << endl;
    else cout << "NO" << endl;
    
  }
  return 0;
}