( 25 , u42 .)