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