Barry has just become eligible for his​ employer-sponsored retirement plan. Barry is 35 and plans to retire at 65. Barry calculates that he can contribute ​$4200 per year to his plan.​ Barry's employer will match this amount. If Barry can earn a return of 7​% on his​ investment, he will have ​$793471 at retirement. Assuming a return of 7​%, how much would Barry have if he could invest an additional ​$1250 per year that his employer would match beginning at age 35​?