#include <stdio.h>
#include <algorithm>
using namespace std;
using ll = long long;

int main() {
	char s[102], sample[] = "575";
	scanf("%s", s);

	int p = 0, flag = 0;
	while (s[p] != 0) {
		int lflag = 1;
		for (int i = 0; i < 3; i++)
			lflag &= s[p + i] == sample[i];
		flag |= lflag;
		p++;
	}

	printf("%s\n", flag ? "YES" : "NO");
}