字元溟，会稽人。

有西湖冶兴。