Toponym: Gornji Javoranj, Dvor.