[ 3 ; ^]