#include <stdio.h>
#include <malloc.h>

char str[60000];
int str_len = 0;

/// <summary>
/// グローバル変数strの中身を入力された文字列で上書きする
/// </summary>
void ReadString() {
	char c = getchar();
	str_len = 0;

	while (c != '\n') {
		str[str_len] = c;
		c = getchar();
		str_len++;
	}
}

int main()
{
	ReadString();
	int have = 0;
	for (int i = 1;i < str_len-1;i++) {
		if (str[i] == '7' && str[i - 1] == '5' && str[i + 1] == '5') have = 1;
	}
	if (have == 1) {
		printf("YES\n");
	}
	else {
		printf("NO\n");
	}
}