Marvin, age 30, participates in his employer's pension plan. His earnings are $76,000 for 2023 and he has contributed $6,500 to a traditional IRA. How much of Marvin's contribution is deductible? If Marvin had chosen a Roth IRA, the how much would be deductible