It takes Grandpa Zhang 20 minutes to run 2.5 kilometers. How many minutes does it take him to run 1 kilometer on average?
张爷爷跑2.5千米用20分钟，他平均跑1千米需要多少分钟．
<gadget id="calculator">20 / 2.5</gadget>
<output>8</output>

<result>8</result>