„ 25 : „ = 15 * /,