A theatre sells two types of tickets to their​ plays; children's tickets and adult tickets. For​ today's performance they have sold a total of 840 tickets.​ Also, they have sold 4 times as many​ children's tickets as adult tickets. How many​ children's tickets have they​ sold?