20 , 000 ; —"