[ 7 , 996 .)