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