Toponim: Gornji Mihaljevec.