On the 16th day after the earthquake, Xiaohong's father, who was far away in the United States, donated US$512 to the Wenchuan disaster area to help the affected area rebuild their homes. How much is his donation equivalent to RMB (1 US dollar is equal to 7.25 RMB)?
地震后的第16天，远在美国的小红的爸爸向汶川灾区捐款512美元，帮助受灾地区重建家园．他的捐款折合人民币多少元(1美元相当于7.25元人民币)？
<gadget id="calculator">512 * 7.25</gadget>
<output>3_712</output>

<result>3_712</result>