( 86 25 .)