In a bank, 100 Hong Kong dollars can be exchanged for 80 yuan. How many Hong Kong dollars can Xiaoping exchange 1,000 yuan for?
一家银行，100元港币可充换80元人民币．小平用1000元人民币可以冲换多少元港币？
<gadget id="calculator">100 / 80</gadget>
<output>5/4 = around 1.25</output>

<gadget id="calculator">(5/4) * 1_000</gadget>
<output>1_250</output>

<result>1_250</result>