( 25 , 372 .)