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

int main(){
	char str[100];
	scanf("%s",str);
	
	int len = strlen(str);
	
	for(int i = 0;i < len - 2;i ++){
		if(str[i] == '5' && str[i + 1] == '7' && str[i + 2] == '5'){
			printf("YES");
			return 0;
		}
	}
	printf("NO");
}