Marilyn, age $38,$ is employed as an architect. For calendar year $2023,$ she had AGI of $$100,000$ and paid the following medical expenses:

Peter and Esther would qualify as Marilyn's dependents except that they file a joint return. Marilyn's medical insurance policy does not cover them. Marilyn filed a claim for

reimbursement of $$9,000$ of her own expenses with her insurance company in November $2023$ and received the reimbursement in December $2023.$ What is Marilyn's maximum

allowable medical expense deduction for $2023?$