[ 10 ) 25 .]