Hey John, how much was the buyer's premium? And more importantly, did you charge yourself a seller's premium?