Zippy Corporation just purchased computing equipment for $30,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,000, what are the after-tax proceeds from the sale, assuming the marginal tax rate is 35 percent.