Zippy Corporation just purchased computing equipment for $25,000. The equipment will be depreciated using a five-year MACRS depreciation schedule. If the equipment is sold at the end of its fourth year for $13,400, what are the after-tax proceeds from the sale, assuming the marginal tax rate is 35 percent.