( 25 , 488 .)