A machine was sold in December 20x3 for $20,000. It was purchased in January 20x1 for $26,000, and depreciation of $23,000 was recorded from the date of purchase through the date of disposal. Assuming a 20% income tax rate, the after-tax cash inflow at the time of sale is: