9 , 000 ; 4 , 000;