#include <stdio.h>
#include <stdlib.h>
#include <stdbool.h>
#include <math.h>

int main()
{
	char str[101] = "";

	scanf("%s", str);

	for (int i = 0;str[i] != '\0';i++)
	{
		if (str[i] == '5')
		{
			if (str[i+1] == '7')
			{
				if (str[i+2] == '5')
				{
					printf("YES\n");
					return 0;
				}
				else
				{
					i += 2;
				}
			}
			else
			{
				i++;
			}
		}
	}

	printf("NO\n");

	return 0;
}