( 9 235 .)