2.5 yuan per kilogram of cucumber, 1.25 yuan per kilogram of cabbage, 4 kilograms of cucumber and 4 kilograms of cabbage, how much does it cost in total?
每千克黄瓜2.5元，每千克白菜1.25元，黄瓜和白菜各买4千克，一共需要多少钱？
<gadget id="calculator">4 * 2.5</gadget>
<output>10</output>

<gadget id="calculator">4 * 1.25</gadget>
<output>5</output>

<gadget id="calculator">10 + 5</gadget>
<output>15</output>

<result>15</result>