[ 5 ; 58]