Then, on 6 September 2000, San Jose de Ocoa was made a new province with the northern half of the Peravia province and with the municipalities of San Jose de Ocoa, Rancho Arriba and Sabana Larga, and the municipal district of La Cienaga.
