#include<bits/stdc++.h>
using namespace std;

int main(){
    char s[110];
    cin >> s;
    cout << (strstr(s,"575")?"YES":"NO");
}