( 10 019 .)