ધટોત્કચના નામ સાથે જોડીને આ સરોવરને લોકો ઘડોઈ કહે છે.