#include <iostream>
#include <string>
#include <vector>
#include <algorithm>
using namespace std;

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