what is the indonesian name of the mosque that was built in 1717 ?
masjid jami al mansur