Toponim: Gornji Javoranj, Dvor.