The off-season ticket prices are implemented from November 1st to March 31st of the following year in major park attractions in a certain place. The ticket price of a certain park in the peak season is 100 yuan, which is 25% higher than the ticket price in the off-season. How much is the ticket price in this park in the off-season?
某地各大公园景点每年的11月1日至次年的3月31日实行淡季票价．某公园旺季票价是100元，比淡季票价上浮25%，这个公园淡季票价多少元？
<gadget id="calculator">25 / 100</gadget>
<output>1/4 = around 0.25</output>

<gadget id="calculator">1 + (1/4)</gadget>
<output>5/4 = around 1.25</output>

<gadget id="calculator">100 / (5/4)</gadget>
<output>80</output>

<result>80</result>