Were the "realized" prices inclusive of the buyer's 17.5% bump? Gil