On a certain day, the exchange rate of RMB against US dollar is 801.97 yuan for 100 US dollars. In this way, how much RMB is needed to exchange 10,000 U.S. dollars.
某日人民币对美元的汇价是100美元可兑换人民币801.97元．这样要兑换1万美元需要人民币多少元．
<gadget id="calculator">801.97 / 100</gadget>
<output>8.0197</output>

<gadget id="calculator">8.0197 * 10_000</gadget>
<output>80_197</output>

<result>80_197</result>