( 10 058 .)