Indonesia. Direktorat Jenderal Pendidikan Islam.