How do you change drive belt on john deere 717?

To change the drive belt on a JOHN DEERe 717, first, ensure the mower is turned off and the key is removed. Raise the mower deck and remove any necessary covers to access the belt. Loosen the tension by adjusting the idler pulley, then slide the old belt off the pulleys. Install the new belt by routing it around the pulleys as per the diagram, re-tension the idler pulley, and reassemble any covers before testing the mower.