locality of banyumas