Holden and Bryson started to hike a portion of the Appalachian trail that is 12 2/5 miles long. Due to snow, they had to stop after hiking 7 1/2 miles. How much of the trail did they miss hiking