Lucinda Martinez is employed at Red Ballon Books. She has a family medical coverage through the company’s group medical plan. The annual cost of Martinez’s family coverage is $9,900. The company pays 75% of the cost. How much does Lucinda pay annually for medical insurance?