Basically, your only loss is the 4K out of pocket. But as xmasbaby says, you may not have enough to deduct. It would be worked through the casualty and losses section under the Deductions and credits tab.
If this was for rental property, you *need* to let us know. You have to report things differently for rentals.
