#include <stdio.h>

int main()
{
	char S[101] = "";
	int len;
	scanf("%[^\n]%n", &S, &len);

	for (int i = 0; i < len; i++)
	{
		if (S[i] == '5' && i < len - 2)
		{
			if (S[i + 1] == '7' && S[i + 2] == '5')
			{
				printf("YES");
				return 0;
			}
		}
	}

	printf("NO");

	return 0;
}