( 17 , 025 .)