#include <stdio.h>
#include <stdlib.h>
#include <string.h>

#define ARRAY_NUM 100000

void check_575();
//void jenga();   //
//void poker();

int main(void) {

	check_575();

	return 0;
}

void check_575() {
	int i = 0;
	char str[100] = { };
	char str1[4]="575";
	scanf("%s", str);

	for (i = 0; i < 100; i++) {
		if (strcmp(&str1[0], &(str[i])) == 0) {
			if (strcmp(&str1[1], &(str[i + 1])) == 0) {
				if (strcmp(&str1[2], &(str[i + 2])) == 0) {
					printf("YES");
					return;
				}
			}
		}
	}

	printf("NO");
}