Allen Air Lines must liquidate some equipment that is being replaced. The equipment originally cost $12 million, of which 75% has been depreciated. The used equipment can be sold today for $5 million, and its tax rate is 40%. What is the equipments after-tax net salvage value?