( 10 , 000 ; 40 , 000 ; 20 , 000;