( 12 900 .)