Toponim: Vugrišinec, Gornji Mihaljevec.