#include <stdio.h>

int main(void)
{
	char s[101];
	scanf("%s", &s);
	int ans = 0;
	for (int i = 0; i < 100; i++) {
		if (s[i] == '5') {
			if (s[i + 1] == '7') {
				if (s[i + 2] == '5') {
					ans++;
					break;
				}
			}
		}
	}
	if (ans == 1) printf("YES\n");
	else printf("NO\n");
	return 0;
}