[ 8 7 12 .]