#include<bits/stdc++.h>
using namespace std;
int main(){
    string s;
    cin >> s;
    int ans=0;
    for(int i=0; i<s.size(); i++){
        if(s[i]=='5'&&s[i+1]=='7'&&s[i+2]=='5') ans++;
    }
    if(ans==0) cout << "NO" << endl;
    else cout << "YES" << endl;
}