ditetapkannya Hari santri Nasional pada 22 Oktober mengandung muatan historis yang sangat esensial dalam uraian panjang sejarah peradaban Nusantara. T