Xiao Ming goes to the store to buy things. He spends 12.5 yuan on colored pens and 7.5 yuan on stationery boxes. How much did he spend in total?
小明去商店买东西，买彩笔用去12.5元，买文具盒用去7.5元，他一共用去多少元？
<gadget id="calculator">12.5 + 7.5</gadget>
<output>20</output>

<result>20</result>