John must mount a box which is 12 5/8 inches wide. He wants to leave 7 1/2 inches on each side of the
box. How much space across will John need?