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