( 9 231 .)