#include <stdio.h>

int main(void) {
	int i;
	int flag5a, flag7, flag5b;
	char s[101];
	
	scanf("%s", s);
	flag5a = 0;
	flag7 = 0;
	flag5b = 0;
	for(i = 0;s[i] != '\0';i++){
		if(flag7 == 0 && s[i] == '5'){
			flag5a = 1;
		}
		if(flag5a == 1 && s[i] == '7'){
			flag7 = 1;
		}
		else{
			flag5a = 0;
		}
		if(flag7 == 1 && s[i] == '5'){
			flag5b = 1;
			break;
		}
		else{
			flag7 = 0;
		}
	}
	
	if(flag5b == 1){
		printf("YES\n");
	}
	else{
		printf("NO\n");
	}

	return 0;
}