( 48 25 .)