5,000 dollars ( = 20,000 kr .)