är alltså 8 1 / 4 mil.