[ 31 , 864 .)