[ 12 , 940 .)