Toponym: Gredenec, Petrovsko.