The football team spent $9,416, which was seven percent more than they had budgeted. How much did the team budget to spend?