A group of friends were working on a student film. They spent all their budget on equipment and props. They spent $712 on equipment, and 11% of the total budget on props. What was the total budget for their student film?