( 4 : — k 4 : 25 ) ( 4: