hade på sin tid kostat 25,000 dollars.