The distance from the school to the library is 12 miles. The distance from the school to the park is 75% of this distance. What is the distance from the school to the park?