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

#define ARRAY_NUM 100000

void factorial_calc(); // No.500
void delete_7();
void check_575();
//void jenga();   //
//void poker();

int main(void) {

	check_575();

	return 0;
}

void factorial_calc() {
	int n=0, sum=0;

	scanf("%d", &n);

	sum = n;
	while (n--) {  // n回ループ
		if(n == 0){
			break;
		}
		sum *= n;
	}

	printf("%d\n", sum % (int) pow(10, 12));
}

void delete_7() {
	int n = 0, a = 0, b = 0, digit = 0;
	int i = 0;

	scanf("%d", &n);

	for (i = 0; pow(10, i) < n; i++) {
		digit = (n % (int) pow(10, i + 1)) / (int) pow(10, i);
		switch (digit) {
		case 7:
			a += 3 * pow(10, i);
			b += 4 * pow(10, i);
			break;
		case 8:
			a += 4 * pow(10, i);
			b += 4 * pow(10, i);
			break;
		case 9:
			a += 5 * pow(10, i);
			b += 4 * pow(10, i);
			break;
		default:
			a += digit * pow(10, i);
			b += 0 * pow(10, i);
		}
//		switch (digit) {
//		case 0:
//			a += 0 * pow(10, i);
//			break;
//		case 1:
//			a += 1 * pow(10, i);
//			break;
//		case 2:
//			a += 2 * pow(10, i);
//			break;
//		case 3:
//			a += 3 * pow(10, i);
//			break;
//		case 4:
//			a += 4 * pow(10, i);
//			break;
//		case 5:
//			a += 5 * pow(10, i);
//			break;
//		case 6:
//			a += 6 * pow(10, i);
//			break;
//		case 7:
//			a += 3 * pow(10, i);
//			b += 4 * pow(10, i);
//			break;
//		case 8:
//			a += 4 * pow(10, i);
//			b += 4 * pow(10, i);
//			break;
//		case 9:
//			a += 5 * pow(10, i);
//			b += 4 * pow(10, i);
//		}
//
//		if (digit < 7) {
//			b += 0 * pow(10, i);
//		}
	}

	printf("%d %d", a, b);

}

void check_575() {
	int i = 0;
	char str[100] = { };
	char str1[] = "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");
}