A ladder is placed in a hall resting against a wall reaching 7.5 feet above the ground. keeping its foot at the same point, the ladder is turned to the opposite wall to reach 12 feet above the ground. find the width of the hall, if the ladder is 12.5 feet long.