( 10 507 .)