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

int main(void) {
	int flag = 0, i = 0;
	char str[101];

	scanf("%s", &str);

	if (strlen(str) >= 3) {
		while (1) {
			if (str[i] == '5') {
				if (str[i + 1] == '7') {
					if (str[i + 2] == '5') {
						flag = 1;
						break;
					}
				}
			}
			else if (i >= strlen(str) - 2)
				break;

			i++;
		}
	}

	if (flag == 1)
		puts("YES");
	else
		puts("NO");
	
	return 0;
}