[ 25 , 496 .)