Pada bulan Oktober ini, para santri di Indonesia akan memperingati ...