Park tickets are priced at 25 yuan each, with discounts on holidays, buy 4 get 1 free. 5 people go to the park on festivals, how much does each person spend on average?
公园门票每张售价25元，节假日优惠，买4张送1张．5个人节日去游公园，平均每人要花多少元？
<gadget id="calculator">4 / 5</gadget>
<output>4/5 = around 0.8</output>

<gadget id="calculator">25 * (4/5)</gadget>
<output>20</output>

<result>20</result>