What is the average of the three numbers 5, 6, and 7?
5，6，7三个数的平均数是多少．
<gadget id="calculator">5 + 6 + 7</gadget>
<output>18</output>

<gadget id="calculator">18 / 3</gadget>
<output>6</output>

<result>6</result>