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


int main(void)
{
	char s[101];
	int judge = 0;
	int i;

	scanf("%s", s);

	if (strlen(s) >= 3) {
		for (i = 0; i < strlen(s) - 2; i++) {
			if (s[i] == '5' && s[i + 1] == '7' && s[i + 2] == '5') {
				judge = 1;
				break;
			}
		}
	}

	printf("%s\n", judge ? "YES" : "NO");

	return 0;
}