Toponim: Gornji Vrhovci, Velika.