(Secercah catatan kecil menghadapi Hari Santri) Setiap tanggal 22 Oktober diperingati sebagai Hari Santri, dan ini sangat layak untuk diperingati sebagaimana hari-hari besar lainnya. Santri punya posisi yang sangat besar dalam pendirian negara atau bangsa. Banyak pahlawan-pahlawan kemerdekaan berasal dari kalangan santri. Begitupun dalam perumusan Negara Kesatuan Republik Indonesia itu juga diwarnai oleh para santri. …
