Найди число красных мячей: купили 5 зелёных мячей, а красных — в 3 раза больше. Сколько красных мячей купили?