Naughty went to Hong Kong to participate in a science and technology summer camp, and bought a stationery box for 12.5 Hong Kong dollars, how much is equivalent to RMB? (1 Hong Kong dollar can be converted into RMB 0.80)
淘气去香港参加科技夏令营，买了一个12.5港元的文具盒，折合人民币多少元？(1港元可兑换人民币0.80元)
<gadget id="calculator">12.5 * 0.8</gadget>
<output>10</output>

<result>10</result>