( 12 , 025 .)