Hammer prices are what the auction house recorded when the lot closed, before the buyer's premium, in the currency of the sale. A sale listed on a house's own site and on its platform counts once. Doubt a figure? Open the sale and its listing is linked there. How prices are recorded.