a well-known indonesian theater​