In an elementary school, student athletes either play tennis or football. The ratio of the number of tennis players to the number of football players is 6:5. Moreover, the ratio of the number of students who play a sport to the number of students in theatre is 8:7. If all students either play a sport or take part in theatre, and there are 112 more students who play tennis than football, what’s the total number of students in this school?