 put up their own money, presumably, and outbid somebody or bodies because there was an opening bid. The auction house started the bidding at $14,000. It was not going to let it go for less than $14,000. And then there were other bidders, obviously, because it ended up going for almost $20,000. So these four individuals, and I don't know if they put in an equal amount, I don't know, but they bid almost $20,000 and got it. That was a couple weeks ago. Now the document has been received.