A roll of rope is 60 meters long, 12.5 meters are used for the first time, and 6.95 meters are used for the second time. After two uses, how many meters is the rope shorter than the original?
一卷绳子长60米，第一次用去了12.5米，第二次用去了6.95米，用了两次以后，这卷绳子比原来短了多少米？
<gadget id="calculator">12.5 + 6.95</gadget>
<output>19.45</output>

<result>19.45</result>