#include<cstdio>
#include<cstring>


int main(void)
{
	char s[100+2];

	while(scanf("%100[a-zA-Z0-9]\n", s)==1)
	{
		printf("%s\n", strstr(s, "575")?"YES":"NO");
	}

	return 0;
}