( 9 200 .)