Toponim: Badličan, Gornji Mihaljevec.