( 10 580 .)