Mike and 3 friends go to the theater. There are 9 other children at the theater. How many children are at the theater altogether?