#include<iostream>
#include<string>
#include<algorithm>
#include<cctype>
#include<set>
#include<bitset>
#include<math.h>
#include<map>
#include<queue>
#include<iomanip>
using namespace std;

int main(){
    string s, t = "575";
    cin >> s;
    cout << ((s.find(t) != string::npos) ? "YES" : "NO") << endl;
}