( 10 532 .)