( 10 333 .)