#include <stdio.h>
#include <string.h>
int main() {
	char S[100] = {'\0'};
	scanf("%s", S);
	if (strstr(S, "575") != NULL) {
		printf("YES\n");
	} else {
		printf("NO\n");
	}
	return 0;
}