Two ladders are leaning against a wall at the same angle, as shown. How long is the shorter ladder?