Li Xiaoli has a total of 85 1-cent coins. If all these coins are replaced with 5-cent coins, how many 5-cent coins can be exchanged in total?
李小丽共有85枚1角的硬币，如果把这些硬币都换成5角的硬币，一共可以换成多少枚枚5角的硬币．
<gadget id="calculator">1 / 5</gadget>
<output>1/5 = around 0.2</output>

<gadget id="calculator">85 * (1/5)</gadget>
<output>17</output>

<result>17</result>