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

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