Toponim: Gornji Vukšinac, Dubrava.