( 4 , 525 .)