字元溟，会稽人。有西湖冶兴。