[ 10 , 258 .)