Мальчик купил три разные дискеты по цене 9 рублей, по цене 13 рублей и по цене 14 рублей. Какова средняя цена дискеты в этоммагазине.