[ 25 , 872 .]