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