A group of friends were working on a student film. They spent $475 on equipment, which was 95% of their total budget. What was the total budget for their student film?