Hammer prices exclude buyer’s premium.