Lina, a single taxpayer with a 35 percent marginal tax rate, desires health insurance. The health insurance would cost Lina $8,540 to purchase if she pays for it herself (Lina's AGI is too high to receive any tax deduction for the insurance as a medical expense). Because of group discounts, her employer can purchase the insurance for $6,900. Lina's employer has a 30 percent marginal tax rate. What would be the after-tax cost to Lina's employer to provide her with health insurance?