( 25 , 441 .)