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