[ 0 ; [ [ El,