: 20 000 dollars.