At a football game
number of men : number of women : number of children = 13: 5:7
There are 4152 more men than women.
Work out the number of children at the game.