#include<stdio.h>
#include<string.h>
int main()
{
	char s[102];
	scanf("%s", s);
	int i, n = strlen(s);
	for (i = 0; i < n - 2; i++)
	{
		if (s[i] == '5' && s[i + 1] == '7' && s[i + 2] == '5')
		{
			printf("YES\n");
			return 0;
		}
	}
	printf("NO\n");
	return 0;
}