Toponim: Ježdovec, Zagreb.