[ 8 12 ];