Toponym: Martinusevec, Gornji Mihaljevec.