Ben can jump rope forward, backward, and crossways! An eight-foot rope is too long for his height, so he shortened the rope by nine inches. How long is his jump rope now?​