( 25 , 542 .)