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