#include <stdio.h>
#include <string.h>

int main(void) {
    char S[101];
    int i,c=0;

    scanf("%s", S);
    for (i = 0; S[i] != 0; i++) {
    	if (strncmp(&S[i], "575", 3) == 0) {
    		c++;
    	}
    }
    if (c > 0) {
    	printf("YES");
    }
    else {
    	printf("NO");
    }
}