#include <iostream>
#include <stdio.h>
#include <string>
#include <list>
#include <vector>
#include <algorithm>

#define rep(i,n) for(int i = 0;i < n;i++)
#define REP(i,n,k) for(int i = n;i < k;i++)
#define P(p) cout << (p) << endl;//print
typedef long long ll;
using namespace std;


int main(){
    cin.tie(0);
   	ios::sync_with_stdio(false);
    
    string s;
    cin >> s;
    rep(i,s.length()-3){
        if(s[i]=='5'&&s[i+1]=='7'&&s[i+2]=='5'){
            P("YES");
            return 0;
        }
    }
    P("NO");
    return 0;
}