Toponym: Gornji Dobretin, Dvor.