The total charge for a taxi ride in NYC includes an initial fee of $3.75 plus $1.25 for every #1/2# mile traveled. Jodi took a taxi, and the ride cost her exactly $12.50. How many miles did she travel in the taxi?