Toponim: Donji Javoranj, Dvor.