20 , 000 ; 12 , 000;