20 000 dollars ( omkring 76 000 kr .)