( 4 ; — k 4 : 25)