Toponym: Gornji Vuksinac, Dubrava.