Toponym: Vugrisinec, Gornji Mihaljevec.