#include <stdio.h>

int main(){
        char S[100]={0};
        scanf("%s", S);
        int count=0;
        for(int i=0;i<99;i++){
                if(S[i]=='5'&&S[i+1]=='7'&&S[i+2]=='5'){
                         count = 1;
                }
        }
        if(count == 1){
                printf("YES\n");
        }else{
                printf("NO\n");
        }
        return 0;
}