Banjarmangu, Banjarmangu, Banjarnegara itu apa sih?

Banjarmangu adalah desa di kecamatan Banjarmangu, Banjarnegara, Jawa Tengah, Indonesia.