Toponym: Gornji Kraljevec, Vratisinec.