City Cabs charges a $2.50 pickup fee and $1.25 per mile traveled. Diego's fare for a cross-town cab ride is $16.25. How far did he travel in the cab?
Diego traveled _ miles.
(Round to the nearest whole number.)