12.července svátek má Borek, Borek