The ticket price for Ocean Park is 130 yuan, and there is a 20% discount during the "June 1st" period. How much can you save by buying a ticket?
海洋公园的门票是130元，"六一"期间八折优惠，购买一张门票能省多少元？
<gadget id="calculator">80 / 100</gadget>
<output>4/5 = around 0.8</output>

<gadget id="calculator">1 - (4/5)</gadget>
<output>1/5 = around 0.2</output>

<gadget id="calculator">130 * (1/5)</gadget>
<output>26</output>

<result>26</result>