В букете было 3 розы, а гвоздик — в 4 раза больше. Сколько гвоздик было в букете?