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