Toponim: Repinec, Gradec.