 Jakarta hosts 142 museums, clustered around the Central Jakarta's Merdeka Square area, Jakarta Old Town and Taman Mini Indonesia Indah.The Old Town contains museums in former institutional buildings of colonial Batavia, including Jakarta History Museum (former City Hall of Batavia), Wayang Museum (Puppet Museum) (former Church of Batavia), the Fine Art and Ceramic Museum (former Court House of Justice of Batavia), the Maritime Museum (former Sunda Kelapa warehouse), Bank Indonesia Museum (former Javasche Bank) and Bank Mandiri Museum (former "Nederlandsche Handels Maatschappij").Museums clustered in central Jakarta around the Merdeka Square area include National Museum of Indonesia which also known as "Gedung Gajah" (the Elephant Building), National Gallery of Indonesia, National History Museum at National Monument, Istiqlal Islamic Museum in Istiqlal Mosque and Jakarta Cathedral Museum on the second floor of Jakarta Cathedral.