Toponim: Gredenec, Petrovsko.