[ 9250 .]