[ 9 , 212 .)