On February 25, 2013, the exchange rate of l Hong Kong dollar to RMB was about 0.8 yuan. Dad spent 9 Hong Kong dollars to buy a storybook for Xiaodong from Hong Kong. How much is equivalent to RMB?
2013年2月25日，l港元兑换人民币约0.8元，爸爸从香港给小东买故事书花了9港元，折合人民币多少元？
<gadget id="calculator">0.8 * 9</gadget>
<output>7.2</output>

<result>7.2</result>