Each adult ticket is 20 yuan, and each child ticket is 5 yuan. How many times is the adult ticket more than the child ticket?
成人票每张20元，儿童票每张5元，成人票是儿童票的几倍？
<gadget id="calculator">20 / 5</gadget>
<output>4</output>

<result>4</result>