20 , 000 ; 15 , 000;