A rope is 12 meters long, 5 meters are used for the first time, and 4 meters are used for the second time, how many meters is the rope shorter than before?
一根绳长12米，第一次用去5米，第二次用去4米，这时绳子比原来短多少米？
<gadget id="calculator">5 + 4</gadget>
<output>9</output>

<result>9</result>