// yukicoder: No.558 575検出するやつ
// 2019.4.20 bal4u

#include <stdio.h>

//// 高速入力
#if 1
#define gc() getchar_unlocked()
#else
#define gc() getchar()
#endif
int ins(char *s)  // 文字列の入力　スペース以下の文字で入力終了
{
	char *p = s;
	do *s = gc();
	while (*s++ > ' ');
	*--s = 0;
	return s - p;
}

char *a[] = { "NO", "YES" };
char S[105];

int main()
{
	int i, w, ans = 0;
	w = ins(S);
	for (i = 2; i < w; i++) {
		if (S[i-2] == '5' && S[i-1] == '7' && S[i] == '5') {
			ans = 1; break;
		}
	}
	puts(a[ans]);
	return 0;
}