( 6 , 025 .)