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