#include <iostream>
#include <vector>
#include <utility>
#include <string>
#include <algorithm>
#include <numeric>
#include <cmath>
#include <string.h>
#include <deque>
#define REP(i,j,n) for(int i=j;i<n;i++)
#define SORT(x) sort(x.begin(),x.end())

using namespace std;



int main() {
	char s[100];
	bool judge = true;
	for (int i = 0; i < 100; i++) cin >> s[i];
	for (int i = 0; i < strlen(s)-2; i++) {
		if (strlen(s) < 3) break;
		if (s[i] == '5' && s[i + 1] == '7' && s[i + 2] == '5') {
			cout << "YES" << endl;
			judge = false;
			break;
		}
	}
	if (judge)cout << "NO" << endl;
}