[ 25 , 883 .]