Jakarta (, Betawi: Jakartè), officially the Special Capital Region of Jakarta (Indonesian: Daerah Khusus Ibukota Jakarta, abbreviated to DKI Jakarta) and formerly known as Batavia until 1949, is the de jure capital and largest city of Indonesia. Lying on the northwest coast of Java, the world's most populous island, Jakarta is the largest metropole in Southeast Asia and serves as the diplomatic capital of ASEAN. The Special Capital Region has a status equivalent to that of a province and is bordered by two other provinces: West Java to the south and east; and (since 2000, when it was separated from West Java) Banten to the west. Its coastline faces the Java Sea to the north, and it shares a maritime border with Lampung to the west. Jakarta's metropolitan area is ASEAN's second largest economy after Singapore. In 2023, the city's GDP PPP was estimated at US$724.010 billion.