20 , 000 ;«