#include <iostream>
#include <string>
#include <vector>
#include <utility>
using namespace std;
int main(void){
    string s;
    cin >> s;
    if(s.find("575")!=string::npos)
      cout << "YES" << "\n";
    else
      cout << "NO" << "\n";
    return 0;
}