( 25 553 .)