( 12 , 000 .)