First time home IRA withdrawal?

Traditional IRA, withdrew <10k for first home. Withheld 10% taxes upfront. When I'm asked how much of the withdrawal I spent on the purchase, is this the gross distribution from the 1099-R, or the net (minus the withheld tax amount)?