[ 25 089 .)