Toponim: Mravnica, Šibenik.