( 4 , 425 .)