#include<stdio.h>
#include<stdlib.h>

int main(void){
        char s[101];
        char *sp = s;
        int i;
        int retry = 0;

        scanf("%100s", s);

        for(i = 0; i <= 100; i++){
                if(*sp == '\n'){
                        retry = 0;
                        break;
                }
                else if(*sp == '5')
                        if(*(sp + 1) == '7')
                                if(*(sp + 2) == '5'){
                                        retry = 1;
                                        break;
                                }
                sp++;
        }
        if(retry)
                puts("YES");
        else
                puts("NO");
        return 0;
}