( 9 , 025 .)