Папа Карло смастерил 17 деревянных кукол. После того как несколько кукол он подарил детям, у него их осталось 5. Сколько кукол папа Карло подарил?