( 8 25 ).