[ 11 6 * 8 .)