Tanggal 22 Oktober yang lalu diperingati sebagai Hari Santri. Saya tidak akan berkisah mengenai ini. Namun seputar tradisi yang masih hidup saat
