Kje je pa jezero? Tu bi moralo biti, Petelinjsko jezero namreč.