varadharmin वरधर्मिन्

Definition: m. Name of a king