<https://setkab.go.id/bukan-hari-libur-presiden-jokowi-tetapkan-22-oktober-sebagai-hari-santri-nasional/#article>
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://setkab.go.id/bukan-hari-libur-presiden-jokowi-tetapkan-22-oktober-sebagai-hari-santri-nasional/>