Toponim: Gornji Kraljevec, Vratišinec.