On a map, the perimeter of a park is 0.251. The actual perimeter of the park is 1,000 times as large. What is the actual perimeter of the park?