( 25 9S7 .)