One side of a large rectangular park is 6 miles long. A diagonal path through the park is 12 miles long . How long is the other side of the park ?