stamp costs 80 cents. Honghong bought 20 stamps of this kind. How much does she have to pay in total?
一枚邮票8角钱，红红买了20枚这种邮票，一共要付多少元．
<gadget id="calculator">0.8 * 20</gadget>
<output>16</output>

<result>16</result>