Lara, a single taxpayer with a 30 percent marginal tax rate, desires health insurance. The health insurance would cost Lara $5,000 to purchase if she pays for it herself (Lara's AGI is too high to receive any tax deduction for the insurance as a medical expense). Lara's employer has a 40 percent marginal tax rate. Ignoring payroll taxes, what is the maximum amount of before-tax salary Lara would give up to receive health insurance?