( 10 534 .)