of Batavia), the Maritime Museum (former Sunda Kelapa warehouse), Bank Indonesia Museum (former Javasche Bank), and Bank Mandiri Museum (former Netherlands Trading Society). Several museums clustered in central Jakarta around the Merdeka Square area include: National Museum of Indonesia, Monas, Istiqlal Islamic Museum in Istiqlal mosque, and Jakarta Cathedral Museum on the second floor of Jakarta Cathedral. Also in the central Jakarta area is the Taman Prasasti Museum (former cemetery of Batavia), and Textile Museum in Tanah Abang area. The recreational area of Taman Mini Indonesia Indah in East Jakarta contains almost twenty museums since the 1970s within its complex. North Jakarta and Thousand Islands Maritime Museum Onrust Archaeology Park West Jakarta Jakarta Old Town Bank Indonesia Museum Bank Mandiri Museum Fine Art and Ceramic Museum Jakarta History Museum or Museum Fatahillah Wayang Museum Jakarta Textile Museum Museum Lukisan Universitas Pelita Harapan Museum 12 Mei Universitas Trisakti The Museum of Modern and Contemporary Art in Nusantara Central Jakarta Bentara Budaya Jakarta Formulation of Proclamation Text Museum (the site where the text of the nation's proclamation of independence was composed in 1945) Gedung Joang '45 Gedung Kesenian Jakarta Gedung Mohammad Hoesni Thamrin Jakarta Cathedral Museum Jakarta Planetarium Museum of Indonesian History in Monas Museum Adam Malik (1985, closed in 2005) Museum Anatomi Fakultas Kedokteran Universitas Indonesia Museum Jenderal Besar Abdul Haris Nasution Museum Kebangkitan Nasional Museum Pers ANTARA Museum Puri Bhakti Renatama Museum Sasmita Loka Jenderal Ahmad Yani Museum Sumpah Pemuda National Gallery of Indonesia National Museum or Museum Gajah Taman Prasasti Museum East Jakarta Museum Loka Jala Srana Museum of PKI Treason Monument of Sacred Pancasila Taman Mini Indonesia Indah Asmat Museum Indonesian Hakka Museum, formal opening at August 30, 2014 Indonesia Museum Indonesia Soldiership Museum Indonesia Stamp Museum Insect Museum and Butterfly Park Istiqlal Museum Komodo Indonesian Fauna Museum and Reptile Park Museum of Electricity and New Energy Museum of Heirloom Museum of Lighting Museum of Science and Technology Museum of Telecommunication Museum of Transportation Oil and Natural Gas Museum Purna Bhakti Pertiwi Museum Sports Museum Timor Timur Museum South Jakarta Basoeki Abdullah Museum Harry Dharsono Museum Kites Museum of Indonesia Museum Dirgantara Mandala Museum Kriminal (Mabak) Museum Manggala Wanabhakti Polri Museum Ragunan Zoo Reksa Artha Museum Satria Mandala Museum Java Banten Benteng Heritage Museum, Tangerang West Java Amerta Dirgantara Museum, Subang Asian–African Conference Museum, Bandung (1980) Bandung Geological Museum, Bandung (1928) Bandung Zoo, Bandung (1933) Barli Museum, Bandung